2740 search results - page 273 / 548 » A Model-Based Approach To Requirements Analysis |
101
Voted
ICIP
2010
IEEE
15 years 1 months ago
2010
IEEE
Current texture analysis methods enable good discrimination but are computationally too expensive for applications which require high frame rates. This occurs because they use red...
147
click to vote
AGI
2011
14 years 7 months ago
2011
General Game Playing (GGP) contest provides a research framework suitable for developing and testing AGI approaches in game domain. In this paper, we propose a new modification of...
153
Voted
POPL
2010
ACM
16 years 1 months ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
166
Voted
TIT
2010
14 years 10 months ago
2010
This paper considers the construction and analysis of pseudo-random functions (PRFs) with specific reference to modes of operations of a block cipher. In the context of message aut...
134
Voted
ICIP
1999
IEEE
16 years 5 months ago
1999
IEEE
Human interfaces for computer graphics systems are now evolving towards a total multi-modal approach. Information gathered using visual, audio and motion capture systems are now b...