1646 search results - page 145 / 330 » Automatic generation of two-party computations |
ICNSC
2007
IEEE
14 years 2 months ago
2007
IEEE
—This paper presents ceiling light landmarks based localization and motion control for a mobile robot. The novel mechanism design for the mobile robot is introduced, and the meth...
CMMR
2007
Springer
14 years 2 months ago
2007
Springer
This paper discusses musical form from a cognitive and a computational viewpoint. While several time-windows exist in the brain, we here put emphasis on the superchunks of up to mo...
ECRTS
2002
IEEE
2002
IEEE
Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis
14 years 28 days ago
Real-time control systems are complex to design, and automation support is important. We are interested in systems with multiple tasks, each with multiple modes, implementing a fu...
CGI
2000
IEEE
14 years 12 days ago
2000
IEEE
We present a system for the animation of human hand that plays violin. Neural network controls the hand movement. We make use of an optimization method to generate the examples fo...
SPIN
1999
Springer
14 years 7 days ago
1999
Springer
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...