4609 search results - page 775 / 922 » Automatic Generation of Sigma-Protocols |
160
click to vote
ROBOCUP
1998
Springer
15 years 10 months ago
1998
Springer
With the attempt to enable robots to play soccer games, the RoboCup challenge poses a demanding standard problem for AI and intelligent robotics research. The rich domain of robot ...
168
click to vote
SEAL
1998
Springer
15 years 10 months ago
1998
Springer
Genetic programming evolves Lisp-like programs rather than fixed size linear strings. This representational power combined with generality makes genetic programming an interesting ...
202
click to vote
TABLEAUX
1998
Springer
15 years 10 months ago
1998
Springer
ple (Extended Abstract) Edmund M. Clarke and Sergey Berezin Carnegie Mellon University -- USA Model checking is an automatic verification technique for finite state concurrent syst...
198
Voted
SIGGRAPH
1997
ACM
15 years 10 months ago
1997
ACM
We describe an improved, anatomically based approach to modeling and animating animals. Underlying muscles, bones, and generalized tissue are modeled as triangle meshes or ellipso...
153
click to vote
SIGMOD
1997
ACM
15 years 10 months ago
1997
ACM
MDM is a tool that enables the users to de ne schemes of di erent data models and to perform translations of schemes from one model to another. These functionalities can be at the...