5962 search results - page 995 / 1193 » Working with Patterns and Code |
150
click to vote
FUIN
2000
15 years 3 months ago
2000
We give algorithms to construct the least L-model for a given positive modal logic program P, where L can be one of the modal logics KD, T, KDB, B, KD4, S4, KD5, KD45, and S5. If L...
155
click to vote
FGCS
2007
15 years 3 months ago
2007
Grid Computing brought the promise of making high-performance computing cheaper and more easily available than traditional supercomputing platforms. Such a promise was very well r...
130
Voted
IJCV
2002
15 years 3 months ago
2002
Stereo matching is one of the most active research areas in computer vision. While a large number of algorithms for stereo correspondence have been developed, relatively little wo...
123
click to vote
MICRO
2002
IEEE
15 years 3 months ago
2002
IEEE
Convergent scheduling is a general framework for instruction scheduling and cluster assignment for parallel, clustered architectures. A convergent scheduler is composed of many ind...
140
click to vote
TIP
2002
15 years 3 months ago
2002
Using an array of photo shots, the concentric mosaic offers a quick way to capture and model a realistic three-dimensional (3-D) environment. In this work, we compress the concentr...