4287 search results - page 150 / 858 » Minimal Mental Models |
ARCS
2006
Springer
14 years 2 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
CAMAD
2006
IEEE
14 years 11 days ago
2006
IEEE
A new and simple network simulator Nessi is described in this paper. While other simulators focus on minimizing the simulation time, Nessi tries to minimize the development time an...
AAAI
2000
13 years 11 months ago
2000
In this paper, we consider a method of computing minimal models in circumscription using integer programming in propositional logic and first-order logic with domain closure axiom...
ISBI
2007
IEEE
14 years 4 months ago
2007
IEEE
We present a new Finite Impulse Response (FIR) model for hemodynamics in functional brain images. Like other FIR models, our method permits a flexible formulation of the hemodyna...
ISBI
2009
IEEE
14 years 5 months ago
2009
IEEE
In this paper we present a new interactive method for tubular structure extraction. The main application and motivation for this work is vessel tracking in 3D medical images. The ...