696 search results - page 62 / 140 » Explaining abstract counterexamples |
97
Voted
MPC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
126
Voted
MPC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Datatypes which differ inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary prod...
125
Voted
NLDB
2004
Springer
15 years 8 months ago
2004
Springer
Abstract: Document analysis and text mining techniques are used to preprocess documents in information retrieval systems, to extract concepts in ontology construction processes, an...
116
click to vote
PPSN
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We introduce a model for cooperative coevolutionary algorithms (CCEAs) using partial mixing, which allows us to compute the expected long-run convergence of such algorith...
124
Voted
PRICAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we address the problem of commonsense reasoning about action by appealing to Occam’s razor—we should accept the simplest hypothesis explaining the obser...