2520 search results - page 135 / 504 » Model-checking behavioral programs |
181
click to vote
ENTCS
2006
15 years 5 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...
145
click to vote
VLC
2002
15 years 4 months 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...
157
click to vote
ALS
2003
Springer
15 years 10 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 ...
122
click to vote
SIGGRAPH
1987
ACM
15 years 8 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...
132
click to vote
IJCNN
2007
IEEE
15 years 11 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 ...