2520 search results - page 135 / 504 » Model-checking behavioral programs |
149
Voted
ENTCS
2006
15 years 1 months ago
2006
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...
104
Voted
VLC
2002
15 years 22 days ago
2002
Real-time 3D graphics are being extensively used to build interactive virtual environments for a number of different applications. In many situations, virtual objects are required...
117
Voted
ALS
2003
Springer
15 years 6 months ago
2003
Springer
Despite recent successes in control theoretical programs for limb control, behavior-based cognitive approaches for control are somewhat lacking behind. Insights in psychology and ...
88
Voted
SIGGRAPH
1987
ACM
15 years 4 months ago
1987
ACM
The aggregate motion of a flock of birds, a herd of land animals, or a school of fish is a beautiful and familiar part of the natural world. But this type of complex motion is rar...
104
click to vote
IJCNN
2007
IEEE
15 years 7 months ago
2007
IEEE
— Many neural network models of (human) motor learning focus on the acquisition of direct goal-to-action mappings, which results in rather inflexible motor control programs. We ...