4287 search results - page 291 / 858 » Minimal Mental Models |
154
click to vote
ASM
2010
ASM
16 years 2 months ago
2010
ASM
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
170
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study bisimulation and minimization for weighted automata, relying on a geometrical representation of the model, linear weighted automata (lwa). In a lwa, the state-sp...
184
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we address the image restoration problem in the variational framework. Classical approaches minimize the Lp norm of the residual and rely on parametric assumptions o...
197
click to vote
ISCAS
2007
IEEE
16 years 1 months ago
2007
IEEE
-- In interconnect-dominated designs, the ability to minimize layout-induced parasitic effects is crucial for rapid design closure. Deep sub-micron effects and ubiquitous interfere...
199
click to vote
DIS
2007
Springer
16 years 1 months ago
2007
Springer
Abductive inference has long been associated with the logic of scientific discovery and automated abduction is now being used in real scientific tasks. But few methods can exploi...