995 search results - page 6 / 199 » On-line Planning Simulation |
TACAS
2010
Springer
13 years 7 months ago
2010
Springer
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
CISIS
2011
IEEE
12 years 8 months ago
2011
IEEE
—Computational performance increasingly depends on parallelism, and many systems rely on heterogeneous resources such as GPUs and FPGAs to accelerate computationally intensive ap...
ICCV
2005
IEEE
14 years 10 months ago
2005
IEEE
Object tracking is a challenging problems in real-time computer vision due to variations of lighting condition, pose, scale, and view-point over time. However, it is exceptionally...
WAW
2009
Springer
14 years 3 months ago
2009
Springer
We present a deterministic model for on-line social networks based on transitivity and local knowledge in social interactions. In the Iterated Local Transitivity (ILT) model, at ea...
DFT
2006
IEEE
14 years 2 months ago
2006
IEEE
Continued increase in complexity of digital image sensors means that defects are more likely to develop in the field, but little concrete information is available on in-field defe...