3972 search results - page 326 / 795 » Palpability Support Demonstrated |
120
Voted
IFL
2003
Springer
15 years 9 months ago
2003
Springer
Construction of complex array operations by composition of more basic ones allows for abstract and concise specifications of algorithms. Unfortunately, na¨ıve compilation of suc...
124
click to vote
ACSC
2002
IEEE
15 years 8 months ago
2002
IEEE
The per-method access control lists of standard middleware technologies allow only simple forms of access control to be expressed and enforced. Research systems based on capabilit...
127
click to vote
DEXAW
2002
IEEE
15 years 8 months ago
2002
IEEE
The latest ontology languages can be translated into a description logic (DL), thus providing them with a formal semantics and associated reasoning procedures. We introduce the or...
137
click to vote
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
This paper presents in detail an efficient and provably correct algorithm for database replication over partitionable networks. Our algorithm avoids the need for end-toend acknow...
137
click to vote
ICRA
2002
IEEE
15 years 8 months ago
2002
IEEE
We test the hypothesis that: (1) Optic flow can be used to detect significant environmental features during locomotion in a biped, even given significant up and down movement and j...