11436 search results - page 1785 / 2288 » Modeling Real Reasoning |
202
click to vote
GECCO
2007
Springer
16 years 1 months ago
2007
Springer
Real life optimization problems often require finding optimal solution to complex high dimensional, multimodal problems involving computationally very expensive fitness function e...
192
click to vote
SIGECOM
2006
ACM
16 years 1 months ago
2006
ACM
In traditional game theory, players are typically endowed with exogenously given knowledge of the structure of the game—either full omniscient knowledge or partial but fixed in...
201
click to vote
SC
2005
ACM
16 years 20 days ago
2005
ACM
We present the development and use of a novel distributed geohazard modeling environment for the analysis and interpretation of large scale earthquake data sets. Our work demonstr...
189
Voted
ESORICS
2003
Springer
16 years 9 days ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
214
click to vote
SIGMOD
2010
ACM
15 years 12 months ago
2010
ACM
Edit distance based string similarity join is a fundamental operator in string databases. Increasingly, many applications in data cleaning, data integration, and scientific compu...