3134 search results - page 99 / 627 » Computing full disjunctions |
167
Voted
SI3D
2012
ACM
13 years 10 months ago
2012
ACM
In Virtual Environments (VE), users are often facing tasks that involve direct manipulation of virtual objects at close distances, such as touching, grabbing, placement. In immers...
136
click to vote
ICPADS
2010
IEEE
15 years 12 days ago
2010
IEEE
As the core count in high-performance computing systems keeps increasing, faults are becoming common place. Checkpointing addresses such faults but captures full process images ev...
103
click to vote
CVPR
2007
IEEE
16 years 4 months ago
2007
IEEE
We propose a full automatic technique to project virtual texture on a real textureless 3D object. Our sytem is composed of cameras and projector and are used to determine the pose...
106
click to vote
FOCS
2009
IEEE
15 years 9 months ago
2009
IEEE
We provide a full characterization of applicability of The Local Consistency Checking algorithm to solving the non-uniform Constraint Satisfaction Problems. This settles the conje...
111
click to vote
TLCA
2001
Springer
15 years 6 months ago
2001
Springer
We extend the modal logic of ambients described in [7] to the full ambient calculus, including name restriction. We introduce logical operators that can be used to make assertions ...