2203 search results - page 147 / 441 » Temporal Abstract Interpretation |
151
click to vote
EDUTAINMENT
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents a strategy of dynamic user modeling for sketchbased user interface. A user model is defined as an incremental decision tree for a specific user. A dra...
125
click to vote
ACIVS
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. A novel approach is presented in this paper to improve images which are altered by atmospheric turbulence. Two new algorithms are presented based on two combinations of a...
132
click to vote
ECAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. This paper introduces restart and nogood recording techniques in the domain of qualitative spatial and temporal reasoning. Nogoods and restarts can be applied orthogonall...
125
click to vote
IEICET
2007
15 years 3 months ago
2007
abstraction and text mining methods to exploit the collected data. Furthermore, our visual discovery system D2MS allowed to actively and effectively working with physicians. Signi...
100
Voted
FORMATS
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this paper we propose a novel technique for constructing timed automata from properties expressed in the logic MTL, under bounded-variability assumptions. We handle fu...