9166 search results - page 157 / 1834 » A framework for comparing models of computation |
137
Voted
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper involves a human-agent system in which there is an operator charged with a pattern recognition task, using an automated decision aid. The objective is to make this huma...
152
Voted
FMCAD
2004
Springer
15 years 9 months ago
2004
Springer
Most symbolic model checkers are based on either Binary Decision Diagrams (BDDs), which may grow exponentially large, or Satisfiability (SAT) solvers, whose time requirements rapi...
118
Voted
ICCS
2003
Springer
15 years 9 months ago
2003
Springer
The Earth’s tectonic plates are strong, viscoelastic shells which make up the outermost part of a thermally convecting, predominantly viscous layer; at the boundaries between pla...
146
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
Transforming models is a critical activity in Model Driven Engineering (MDE). With the expected adoption of the OMG QVT standard for model transformation language it is anticipate...
119
Voted
NIPS
2000
15 years 5 months ago
2000
How should we decide among competing explanations of a cognitive process given limited observations? The problem of model selection is at the heart of progress in cognitive scienc...