1581 search results - page 66 / 317 » Mechanizing Inductive Reasoning |
178
click to vote
EUC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Ontology is a promising tool to model and reason about context information in pervasive computing environment. However, ontology does not support representation and reaso...
183
click to vote
ECAI
2010
Springer
15 years 7 months ago
2010
Springer
In human-level simulations, like video games can be, the design of character's behaviors has an important impact on simulation realism. We propose to divide it into a reasonin...
171
click to vote
WINE
2009
Springer
16 years 22 days ago
2009
Springer
A well-known result due to Vickery gives a mechanism for selling a number of goods to interested buyers in a way that achieves the maximum social welfare. In practice, a problem wi...
147
Voted
CCGRID
2010
IEEE
15 years 7 months ago
2010
IEEE
We propose a dynamic auction mechanism to solve the allocation problem of computation capacity in the environment of cloud computing. Truth-telling property holds when we apply a s...
157
click to vote
COGSCI
2006
15 years 6 months ago
2006
Mechanical systems have structural organizations--parts, and their relations--and functional organizations--temporal, dynamic, and causal processes--which can be explained using t...