932 search results - page 94 / 187 » Verifying Progress in Timed Systems |
122
Voted
SEUS
2007
IEEE
15 years 10 months ago
2007
IEEE
We propose a framework that supports user-friendly configuration of a new location sensor system and its automatic integration with a location manager. The framework abstracts out...
124
click to vote
GCC
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper, we constructed the Distributed Object Group Framework(DOGF) which is a reconfigurable architecture supporting dynamically adaptation of distributed service...
114
click to vote
CHI
2010
ACM
15 years 9 months ago
2010
ACM
Both handwriting recognition systems and their users are error prone. Handwriting recognizers make recognition errors, and users may miss those errors when verifying output. As a ...
100
click to vote
CBMS
1998
IEEE
15 years 8 months ago
1998
IEEE
An OCR system chosen for its high recognition rate and low percent of false positives also assigns low confidence values to many characters that are actually correct. Human operat...
285
click to vote
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
We present an integrated proof language for guiding the actions of multiple reasoning systems as they work together to prove complex correctness properties of imperative programs....