Journal Article (84)
21.
Journal Article
22 (3), pp. 433 - 440 (2003)
Shadow Volumes on Programmable Graphics Hardware. Computer Graphics Forum 22.
Journal Article
56, pp. 51 - 70 (2003)
Better Filtering with Gapped q-Grams. Fundamenta Informaticae 23.
Journal Article
87, pp. 195 - 200 (2003)
A spectral lower bound for the treewidth of a graph and its consequences. Information Processing Letters 24.
Journal Article
308, pp. 277 - 331 (2003)
Model checking mobile ambients. Theoretical Computer Science 25.
Journal Article
23, pp. 35 - 72 (2003)
Proof of a conjecture of Bollobas and Eldridge for graphs of maximum degree three. Combinatorica 26.
Journal Article
22, pp. 55 - 77 (2003)
State of the Art for Global Illumination in Interactive Applications and High-Quality Animations. Computer Graphics Forum 27.
Journal Article
23 (3), pp. 28 - 37 (2003)
Efficient Light Transport Using Precomputed Visibility. IEEE Computer Graphics and Applications 28.
Journal Article
35, pp. 21 - 58 (2003)
Deciding the Guarded Fragments by Resolution. Journal of Symbolic Computation 29.
Journal Article
2, pp. 3 - 12 (2003)
Protein Function from Sequence and Structure Data. Applied Bioinformatics 30.
Journal Article
87, pp. 13 - 15 (2003)
Detecting Directed 4-cycles Still Faster. Information Processing Letters 31.
Journal Article
95, pp. 475 - 491 (2003)
Primal Separation for 0/1 Polytopes. Mathematical Programming / A 32.
Journal Article
23, pp. 245 - 261 (2003)
Bounds on the Chvátal Rank of Polytopes in the 0/1 Cube. Combinatorica 33.
Journal Article
35 (3), pp. 281 - 292 (2003)
An Elementary Approach to Subresultants Theory. Journal of Symbolic Computation 34.
Journal Article
88, pp. 219 - 223 (2003)
The complexity of economic equilibria for house allocation markets. Information Processing Letters 35.
Journal Article
24 (14), pp. 2447 - 2454 (2003)
Introducing a Weighted Non‐negative Matrix Factorization for Image Classification. Pattern Recognition Letters 36.
Journal Article
27, pp. 593 - 604 (2003)
On Comparing Ray Shooting Algorithms. Computers & Graphics 37.
Journal Article
66, pp. 567 - 611 (2003)
Scheduling multicasts on unit-capacity trees and meshes. Journal of Computer and System Sciences 38.
Journal Article
20 (1), p. 51 (2003)
The Metric‐FF Planning System: Translating "Ignoring Delete Lists" To Numeric State Variables. Journal of Artificial Intelligence Research 39.
Journal Article
94, pp. 361 - 374 (2003)
Preemptive scheduling with rejection. Mathematical Programming 40.
Journal Article
11, pp. 297 - 322 (2003)
A hazard based approach to dependence tests for bivariate censored models. Mathematical Methods in Statistics