1643 search results - page 78 / 329 » Consistability: Describing Usually Consistent Systems |
124
click to vote
HAPTICS
2009
IEEE
15 years 10 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...
121
Voted
SIGIR
2003
ACM
15 years 9 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...
128
Voted
EMSOFT
2003
Springer
15 years 9 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...
131
Voted
LCTRTS
1998
Springer
15 years 8 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 ...
141
Voted
ACL
2006
15 years 5 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...