3690 search results - page 416 / 738 » Computation with classical sequents |
201
click to vote
MHCI
2007
Springer
16 years 28 days ago
2007
Springer
Conversation partners on mobile phones can align their walking gait without physical proximity or visual feedback. We investigate gait synchronization, measured by accelerometers ...
169
click to vote
FOCS
2006
IEEE
16 years 26 days ago
2006
IEEE
d abstract] Robert Krauthgamer ∗ IBM Almaden James R. Lee † Institute for Advanced Study We initiate the study of approximate algorithms on negatively curved spaces. These spa...
276
click to vote
ICPP
2006
IEEE
16 years 25 days ago
2006
IEEE
— This paper presents a parallel external-memory algorithm for performing a breadth-first traversal of an implicit graph on a cluster of workstations. The algorithm is a paralle...
207
click to vote
ACCV
2006
Springer
16 years 24 days ago
2006
Springer
Real-time estimation of a camera’s pose relative to an object is still an open problem. The difficulty stems from the need for fast and robust detection of known objects in the s...
160
click to vote
CASES
2006
ACM
16 years 23 days ago
2006
ACM
Memory size reduction and memory accesses optimization are crucial issues for embedded systems. In the context of affine programs, these two challenges are classically tackled by ...