3729 search results - page 449 / 746 » On Formal Modeling of Agent Computations |
164
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper presents a modeling method particularly suited to analyze interactions between Message Passing Interface MPI library execution and distributed cache coherence protocol....
154
click to vote
ACIVS
2006
Springer
16 years 21 days ago
2006
Springer
In this paper we propose the use of Discrete Choice Analysis (DCA) for static facial expression classification. Facial expressions are described with expression descriptive units ...
178
click to vote
IMR
2004
Springer
16 years 2 days ago
2004
Springer
This paper presents a generic approach to mesh global optimization via node movement, based on a discrete graph-theoretic model. Mesh is considered as an electric system with lump...
247
click to vote
CAV
1999
Springer
15 years 11 months ago
1999
Springer
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. A computation that violates a general linea...
160
click to vote
CAD
1998
Springer
15 years 6 months ago
1998
Springer
We develop an architecture for a product master model that federates CAD systems with downstream application processes for di erent feature views that are part of the design proce...