469 search results - page 12 / 94 » A Modal Analysis of Staged Computation |
FOSSACS
2010
Springer
14 years 2 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
ICPR
2010
IEEE
13 years 5 months ago
2010
IEEE
There is a plethora of established and proposed document representation formats but none that can adequately support individual stages within an entire sequence of document image ...
ICMI
2004
Springer
14 years 26 days ago
2004
Springer
The interaction between human beings and computers will be more natural if computers are able to perceive and respond to human non-verbal communication such as emotions. Although ...
COLING
1990
13 years 8 months ago
1990
We describe a semi-automatic semantic disambiguator integrated in a knowledge-based machine translation system. It is used to bridge the analysis and generation stages in machine ...
ICDAR
2009
IEEE
13 years 5 months ago
2009
IEEE
A two-stage approach for word-wise identification of English (Roman), Devnagari and Bengali (Bangla) scripts is proposed. This approach balances the tradeoff between recognition a...