12478 search results - page 2004 / 2496 » Secure Interaction Design |
159
Voted
ICRA
1994
IEEE
15 years 11 months ago
1994
IEEE
We present a general framework for the modelling of a class of mechanical systems for robotic manipulation, consisting of articulated limbs with redundant tendinous actuation and ...
183
click to vote
EDBT
1992
ACM
15 years 11 months ago
1992
ACM
A general technique for merging database schemas is developed that has a number of advantages over existing techniques, the most important of which is that schemas are placed in a...
171
click to vote
VLDB
1994
ACM
15 years 11 months ago
1994
ACM
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...
181
Voted
CAV
2007
Springer
15 years 11 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
154
click to vote
HT
2007
ACM
15 years 10 months ago
2007
ACM
We present a method for effective navigation in structure of large information spaces. The method employs incremental browsing of the information space structure and visualizes in...