1643 search results - page 78 / 329 » Consistability: Describing Usually Consistent Systems |
HAPTICS
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper describes development of a haptic interface using a laser range finder. The system consists of a laser range finder, computer and a 1 degree-of-freedom haptic apparat...
SIGIR
2003
ACM
15 years 3 months ago
2003
ACM
Abstract. In this paper we describe the architecture of the MIND system for federating multimedia digital libraries. MIND integrates heterogeneous, multimedia non-co-operating digi...
EMSOFT
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
LCTRTS
1998
Springer
15 years 2 months ago
1998
Springer
This paper describes a general approach for automatic and accurate time-bound analysis. The approach consists of transformations for building time-bound functions in the presence ...
ACL
2006
14 years 11 months ago
2006
This paper describes an algorithm for propagating verb arguments along lexical chains consisting of WordNet relations. The algorithm creates verb argument structures using VerbNet...