3281 search results - page 297 / 657 » An Approach to use Executable Models for Testing |
140
click to vote
RAS
2006
15 years 4 months ago
2006
Humans have a remarkable ability to navigate using only vision, but mobile robots have not been nearly as successful. We propose a new approach to vision-guided local navigation, ...
131
click to vote
TRIDENTCOM
2005
IEEE
15 years 9 months ago
2005
IEEE
Discrete-event packet-level network simulation is well-known and widely used. Network emulation is a hybrid approach that combines real elements of a deployed networked applicatio...
174
Voted
ASPLOS
2011
ACM
14 years 7 months ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...
151
click to vote
ICLP
1995
Springer
15 years 7 months ago
1995
Springer
Incorporating the possibility of attaching attributes to variables in a logic programming system has been shown to allow the addition of general constraint solving capabilities to...
153
click to vote
ECCV
2002
Springer
16 years 6 months ago
2002
Springer
Abstract. An important issue in tracking is how to incorporate an appropriate degree of adaptivity into the observation model. Without any adaptivity, tracking fails when object pr...