4806 search results - page 687 / 962 » Interactive uncertainty analysis |
154
click to vote
JCDL
2006
ACM
16 years 19 days ago
2006
ACM
Evaluation of digital libraries assesses their effectiveness, quality and overall impact. In this paper we present a novel, multi-level logging framework that will provide comple...
145
click to vote
UIST
2006
ACM
16 years 18 days ago
2006
ACM
We present a computer vision technique to detect when the user brings their thumb and forefinger together (a pinch gesture) for close-range and relatively controlled viewing circu...
147
click to vote
APSEC
2005
IEEE
16 years 9 days ago
2005
IEEE
Embedded control programs are hard to analyse because their behaviour depends on how they interact with hardware devices. In particular, embedded code typically uses interrupts to...
183
click to vote
CSMR
2005
IEEE
16 years 9 days ago
2005
IEEE
Well-designed object-oriented programs typically consist of a few key classes that work tightly together to provide the bulk of the functionality. As such, these key classes are e...
170
click to vote
DATE
2005
IEEE
16 years 9 days ago
2005
IEEE
Automated synthesis of monitors from high-level properties plays a significant role in assertion-based verification. We present here a methodology to synthesize assertion monitors...