5326 search results - page 92 / 1066 » On what we can ensure |
139
click to vote
EUMAS
2006
15 years 7 months ago
2006
Abstract. Support for new forms of organization and social interaction requires understanding the influence of structure on behavior. Goal dependencies indicate some relationship b...
171
click to vote
CANS
2009
Springer
15 years 10 months ago
2009
Springer
We extend the well-known Tree-Diffie-Hellman technique used for the design of group key exchange (GKE) protocols with robustness, i.e. with resistance to faults resulting from poss...
146
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
Abstract— At our institute, two generations of antropomorphic hands have been designed. In quite a few experiments and demonstrations we could show the abilities of our hands and...
169
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their pract...
153
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper we study the following problem: given two source images A and A , and a target image B, can we learn to synthesize a new image B which relates to B in the same way t...