381 search results - page 10 / 77 » Modeling Redundancy: Quantitative and Qualitative Models |
COMPSAC
2002
IEEE
14 years 1 months ago
2002
IEEE
Requirements Evolution is considered one of the most critical issues in developing computer-based systems. Despite the recognised role of requirements in Software Engineering, Req...
AI
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. In the GRAAD project we are developing a knowledgebased system able of determine routes in a simulated urban environment and to generate natural language descriptions whi...
LMCS
2006
13 years 9 months ago
2006
We consider the model checking problem for probabilistic pushdown automata (pPDA) and properties expressible in various probabilistic logics. We start with properties that can be ...
PAMI
2006
13 years 9 months ago
2006
: This article addresses the problem of estimating the motion of a camera as it observes the outline (or apparent contour) of a solid bounded by a smooth surface in successive imag...
COLING
2008
13 years 10 months ago
2008
As Chinese text is written without word boundaries, effectively recognizing Chinese words is like recognizing collocations in English, substituting characters for words and words ...