710 search results - page 54 / 142 » Improving bug tracking systems |
CAV
2005
Springer
14 years 3 months ago
2005
Springer
Bounded model checking is an efficient method for finding bugs in system designs. The major drawback of the basic method is that it cannot prove properties, only disprove them. R...
CIVR
2005
Springer
14 years 3 months ago
2005
Springer
A system for video retrieval from a ubiquitous environment is presented. Data from pressure-based floor sensors are used as a supplementary input for retrieving video from a large...
MVA
2007
13 years 11 months ago
2007
We took the face, especially eye or eye gaze, into consideration for discussing the non-verbal interface media. We first proposed a passive eye-camera system based on the facial i...
ISCA
2008
IEEE
13 years 10 months ago
2008
IEEE
Dynamic information flow tracking (also known as taint tracking) is an appealing approach to combat various security attacks. However, the performance of applications can severely...
AIPR
2008
IEEE
14 years 4 months ago
2008
IEEE
—Real time moving target tracking and identification with hyperspectral imagery is still very challenging with conventional sensors and algorithms. The increased information cont...