4418 search results - page 162 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
239
click to vote
DEBU
2007
15 years 4 months ago
2007
The volume of information in natural languages in electronic format is increasing exponentially. The demographics of users of information management systems are becoming increasin...
158
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
Handwritten document images contain textlines with multi orientations, touching and overlapping characters within consecutive textlines, and small inter-line spacing making textli...
174
click to vote
CMOT
2011
14 years 8 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
145
click to vote
CODES
2007
IEEE
15 years 11 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
142
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...