1802 search results - page 178 / 361 » Model-based Theory Combination |
145
Voted
IDT
2010
15 years 1 months ago
2010
Humans know how to reason based on cause and effect, but cause and effect is not enough to draw conclusions due to the problem of imperfect information and uncertainty. To resol...
137
Voted
JACM
2010
15 years 1 months ago
2010
A temporal constraint language is a set of relations that has a first-order definition in (Q, <), the dense linear order of the rational numbers. We present a complete comple...
SIAMAM
2010
15 years 29 days ago
2010
Above the critical temperature for the order-disorder transition, diblock copolymer melts have been observed to exhibit localized structures that exist within the homogeneous mixtu...
107
Voted
ACMSE
2010
ACM
15 years 19 days ago
2010
ACM
Developing software from models is a growing practice and there exist many model-based tools (e.g., model editors, model interpreters) for supporting model-driven engineering. Eve...
182
click to vote
AGI
2011
14 years 6 months ago
2011
Abstract. Recent theories of universal algorithmic intelligence, combined with the view that the world can be completely specified in mathematical terms, have led to claims about ...