934 search results - page 150 / 187 » context 2003 |
AC
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
AFRIGRAPH
2003
ACM
14 years 1 months ago
2003
ACM
Virtual sculpting enables the creation of computer models by emulating traditional sculpting. It can be implemented using spatial deformation, an interactive versatile modelling t...
AWIC
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. We present a dialogue system that enables the access in natural language to a web information retrieval system. We use a Web Semantic Language to model the knowledge conv...
CAIP
2003
Springer
14 years 1 months ago
2003
Springer
The design of a video surveillance system is directed on automatic identification of events of interest, especially on tracking and classification of moving vehicles or pedestrian...
CHARME
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. I develop a compositional theory of refinement for the branching time framework based on stuttering simulation and prove that if one system refines another, then a refine...