5615 search results - page 236 / 1123 » On the Computational Capabilities of Several Models |
189
click to vote
ICPR
2000
IEEE
16 years 8 months ago
2000
IEEE
Several vision tasks rely upon the availability of sets of corresponding features among images. This paper presents a method which, given some corresponding features in two stereo...
178
click to vote
DAC
2005
ACM
16 years 8 months ago
2005
ACM
eriodically time-varying (LPTV) abstractions are useful for a variety of communication and computer subsystems. In this paper, we present a novel operator-based model-order reduct...
203
click to vote
FQAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Controlled languages (CLs) are ambiguity-free subsets of natural languages such as English offering a good trade-off between the formal rigor of ontology and query langua...
176
click to vote
RTA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We consider the problem of deciding the security of cryptographic protocols for a bounded number of sessions, taking into account some algebraic properties of the securit...
179
click to vote
DSN
2008
IEEE
16 years 1 months ago
2008
IEEE
Many classes of applications are inherently tolerant to errors. One such class are applications designed for a human end user, where the capabilities of the human cognitive system...