641 search results - page 119 / 129 » A Study in Coverage-Driven Test Generation |
SAC
2004
ACM
15 years 3 months ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
KES
2004
Springer
15 years 3 months ago
2004
Springer
There is now a huge amount of high quality photometric data available in the literature whose analysis is bound to play a fundamental role in studies of the formation and evolution...
AVSS
2003
IEEE
15 years 2 months ago
2003
IEEE
We present a distributed vision-based surveillance system. The system acquires and processes grey level images through one or multiple Camera Units monitoring certain area(s) via ...
88
Voted
HAPTICS
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper, we address the problem of providing near-field haptic feedback in a wearable, scalable manner. Our solution, called the TactaBoard, supports the independent control...
ITC
2003
IEEE
15 years 2 months ago
2003
IEEE
A scalable laser-based timing analysis technique we call laser assisted device alteration (LADA) is introduced for the rapid isolation and analysis of defect-free performance limi...