2446 search results - page 318 / 490 » First Smart Spaces |
127
click to vote
VMCAI
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...
124
click to vote
APGV
2004
ACM
15 years 9 months ago
2004
ACM
We introduce the concept of vision-realistic rendering – the computer generation of synthetic images that incorporate the characteristics of a particular individual’s entire o...
121
click to vote
VRCAI
2004
ACM
15 years 9 months ago
2004
ACM
Collision detection is required by most virtual reality (VR) applications, and in recent years, collision detection algorithms utilizing graphics hardware capabilities have been a...
130
click to vote
AIRS
2004
Springer
15 years 9 months ago
2004
Springer
There exist practical bit-parallel algorithms for several types of pair-wise string processing, such as longest common subsequence computation or approximate string matching. The b...
135
Voted
CDB
2004
Springer
15 years 9 months ago
2004
Springer
Constraint Processing and Database techniques overlap significantly. We discuss here the application of a constraint satisfaction technique, called dynamic bundling, to databases....