3443 search results - page 175 / 689 » More Algebras for Determiners |
IWPC
2009
IEEE
14 years 5 months ago
2009
IEEE
A common static software bug detection technique is to use path simulation. Each execution path is simulated using symbolic variables to determine if any software errors could occ...
GECCO
2009
Springer
14 years 5 months ago
2009
Springer
The National Association for Stock Car Auto Racing (NASCAR) is currently the No. 1 spectator sport in the United States. However, the manner in which drivers are ranked to determi...
NOSSDAV
2009
Springer
14 years 5 months ago
2009
Springer
Peer-to-peer distributed virtual environments (DVE's) distribute state tracking and state transitions. Many DVE's - such as online games - require ways to fairly determi...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
— This paper proposes a universal stability criterion of the foot contact of legged robots. The proposed method checks if the sum of the gravity and the inertia wrench applied to...
FOCS
1997
IEEE
14 years 3 months ago
1997
IEEE
We consider the problem of deciding whether a polygonal knot in 3dimensional Euclidean space is unknotted, capable of being continuously deformed without self-intersection so that...