2203 search results - page 203 / 441 » Temporal Abstract Interpretation |
133
click to vote
FSTTCS
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
122
click to vote
KI
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. Agents situated in proactive environments are acting autonomously while the environment is evolving alongside, whether or not the agents carry out any particular actions....
159
click to vote
AMFG
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract. This paper addresses an aspect of sign language (SL) recognition that has largely been overlooked in previous work and yet is integral to signed communication. It is the ...
116
Voted
AH
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In this paper, we describe the design and development of personal information assistant (PIA), a system aiming to meet individual needs of the searchers. The system'...
130
click to vote
CIVR
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The VideoSOM sytem is a tool for content-based video navigation based on a growing self-organizing map. Our interface allows the user to browse the video content using si...