4313 search results - page 509 / 863 » Using time travel to diagnose computer problems |
172
click to vote
ACII
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we present a model of facial behaviour encompassing interpersonal relations for an Embodied Conversational Agent (ECA). Although previous solutions of this ...
197
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
Abstract. In this paper we propose a new method to perform incremental discretization. The basic idea is to perform the task in two layers. The first layer receives the sequence o...
183
click to vote
SPIN
2005
Springer
16 years 1 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
182
click to vote
APN
2001
Springer
16 years 5 days ago
2001
Springer
Reachability analysis and simulation tools for high-level nets spend a significant amount of the computing time in performing enabling tests, determining the assignments under whi...
185
click to vote
SIBGRAPI
1999
IEEE
15 years 12 months ago
1999
IEEE
Many scientific applications use scattered data originated from samples. Interpolation techniques are necessary to estimate the values on non-sampled regions. In a previous work, t...