602 search results - page 27 / 121 » Efficient Model Checking of Applications with Input Output |
CVPR
2003
IEEE
14 years 9 months ago
2003
IEEE
This paper introduces a practical approach for superresolution, the process of reconstructing a high-resolution image from the low-resolution input ones. The emphasis of our work ...
IVC
2008
13 years 7 months ago
2008
In the US and many other countries, bank checks are preprinted with the account number and the check number in MICR ink and format; as such, these two numeric fields can be easily...
JAIR
1998
13 years 7 months ago
1998
This paper presents a general and efficient framework for probabilistic inference and learning from arbitrary uncertain information. It exploits the calculation properties of fini...
NCA
2002
IEEE
13 years 7 months ago
2002
IEEE
One of the key problems in forming a smooth model from input-output data is the determination of which input variables are relevant in predicting a given output. In this paper we ...
ICSE
2001
IEEE-ACM
14 years 5 days ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...