4041 search results - page 62 / 809 » time 2009 |
155
click to vote
LOPSTR
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. We introduce a just-in-time specializer for Prolog. Just-intime specialization attempts to unify of the concepts and benefits of partial evaluation (PE) and just-in-time...
185
click to vote
LOPSTR
2009
Springer
16 years 22 days ago
2009
Springer
Abstract. We present a method based on logic program transformation, for verifying Computation Tree Logic (CTL∗ ) properties of finite state reactive systems. The finite state ...
144
click to vote
MIG
2009
Springer
16 years 22 days ago
2009
Springer
This paper proposes a method to simulate the real-time interactions of tangling motions by two virtual wrestlers in 3D computer games. The characters are controlled individually by...
178
click to vote
ROBOCUP
2009
Springer
16 years 22 days ago
2009
Springer
In this article a method is proposed for ball tracking using 100 Hz computer vision in a semi-automated foosball table. In this application the behavior of the ball is highly dynam...
209
click to vote
JTRES
2009
ACM
16 years 21 days ago
2009
ACM
Real-time Java is quickly emerging as a platform for building safety-critical embedded systems. The real-time variants of Java, including [8, 15], are attractive alternatives to A...