2490 search results - page 223 / 498 » Complexity of Contextual Reasoning |
141
click to vote
GECCO
2006
Springer
15 years 9 months ago
2006
Springer
This paper uses an entertaining student "sports" game to illustrate that GAs can be adapted to problems with uncertain properties and complexity. These problems can be s...
147
click to vote
ACNS
2010
Springer
15 years 9 months ago
2010
Springer
Assume that a client outsources his database to a remote storage-provider (the server), so that for privacy reasons, the client's database is encrypted by his secret key. Duri...
177
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
This paper proposes a new approach for proving arithmetic correctness of data paths in System-on-Chip modules. It complements existing techniques which are, for reasons of complexi...
160
click to vote
ACL
1998
15 years 7 months ago
1998
This paper demonstrates that generating arguments in natural language requires at an abstract level, and that the ate abstraction cannot be captured by approaches based solely upo...
191
click to vote
VMV
2003
15 years 7 months ago
2003
In this paper we propose a new topology based metric for 2D vector fields. This metric is based on the concept of feature flow fields. We show that it incorporates both the cha...