11129 search results - page 109 / 2226 » Modeling Search Computing Applications |
ICPR
2002
IEEE
15 years 11 months ago
2002
IEEE
The Stack algorithm, which is a best-first search algorithm widely used in speech recognition, is modified for application to the problem of recognizing machine printed text in th...
112
click to vote
CAV
1999
Springer
15 years 2 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
KBSE
2005
IEEE
15 years 3 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
84
Voted
DAC
2003
ACM
2003
ACM
A complexity effective communication model for behavioral modeling of signal processing applications
15 years 11 months ago
In this paper, we argue that the address space of memory regions that participate in inter task communication is over-specified by the traditional communication models used in beh...
74
Voted
MICCAI
2003
Springer
15 years 11 months ago
2003
Springer
A generalized image model (GIM) is presented. Images are represented as sets of four-dimensional (4D) sites combining position and intensity information, as well as their associat...