13553 search results - page 2563 / 2711 » A Generalized Multi-View Approach |
164
Voted
CAV
2000
Springer
15 years 8 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
121
Voted
CHI
2010
ACM
15 years 8 months ago
2010
ACM
A group of friends visiting a crowded and noisy music festival is an example of a situation where knowing the location of other people is important, but where external factors, su...
163
Voted
HICSS
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
168
Voted
SIGGRAPH
1999
ACM
15 years 8 months ago
1999
ACM
A simple, fast, and approximate voxel-based approach to 6DOF haptic rendering is presented. It can reliably sustain a 1000 Hz haptic refresh rate without resorting to asynchronous...
156
Voted
ICCAD
1999
IEEE
15 years 8 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...