5550 search results - page 1016 / 1110 » Different Approaches to Proof Systems |
183
click to vote
ICPPW
2009
IEEE
16 years 1 months ago
2009
IEEE
—In this paper, we investigate the differences and tradeoffs imposed by two parallel Haskell dialects running on multicore machines. GpH and Eden are both constructed using the h...
211
click to vote
ISVC
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present an approach for articulated motion detection and pose estimation that uses only motion information. To estimate the pose and viewpoint we introduce a novel mot...
201
click to vote
ICDCS
2008
IEEE
16 years 28 days ago
2008
IEEE
A multi-object operation incurs communication or synchronization overhead when the requested objects are distributed over different nodes. The object pair correlations (the probab...
171
click to vote
ISWC
2006
IEEE
16 years 15 days ago
2006
IEEE
This paper describes a localization method with wearable electromagnetic sensor and orientation sensor for wearable computer users. Many user localization methods have been invest...
170
click to vote
MUM
2005
ACM
16 years 1 days ago
2005
ACM
We present PhoneGuide – an enhanced museum guidance approach that uses camera-equipped mobile phones and on-device object recognition. Our main technical achievement is a simple...