Sciweavers

2446 search results - page 318 / 490
» First Smart Spaces
Sort
View
174
Voted
VMCAI
2005
Springer
16 years 14 days ago
Minimizing Counterexample with Unit Core Extraction and Incremental SAT
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...
ShengYu Shen, Ying Qin, Sikun Li
APGV
2004
ACM
131views Visualization» more  APGV 2004»
16 years 13 days ago
Vision-realistic rendering: simulation of the scanned foveal image from wavefront data of human subjects
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...
Brian A. Barsky
164
Voted
VRCAI
2004
ACM
16 years 12 days ago
Simple and rapid collision detection using multiple viewing volumes
Collision detection is required by most virtual reality (VR) applications, and in recent years, collision detection algorithms utilizing graphics hardware capabilities have been a...
Zhaowei Fan, Huagen Wan, Shuming Gao
168
Voted
AIRS
2004
Springer
16 years 12 days ago
On Bit-Parallel Processing of Multi-byte Text
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...
Heikki Hyyrö, Jun Takaba, Ayumi Shinohara, Ma...
183
Voted
CDB
2004
Springer
143views Database» more  CDB 2004»
16 years 12 days ago
Constraint Processing Techniques for Improving Join Computation: A Proof of Concept
Constraint Processing and Database techniques overlap significantly. We discuss here the application of a constraint satisfaction technique, called dynamic bundling, to databases....
Anagh Lal, Berthe Y. Choueiry