Sciweavers

771 search results - page 57 / 155
» Modelling and Analysing Socio-Technical Systems
Sort
View
VLDB
1994
ACM
132views Database» more  VLDB 1994»
15 years 3 months ago
Modelling and Querying Video Data
As video data is penetrating many information systems the need for database support for video data evolves. In this paper we present a generic data model that captures the structu...
Rune Hjelsvold, Roger Midtstraum
92
Voted
COLING
1996
15 years 6 days ago
Processing Metonymy- a Domain-Model Heuristic Graph Traversal Approach
We address here the treatment of metonymic expressions from a knowledge representation perspective, that is, in the context of a text understanding system which aims to build a co...
Jacques Bouaud, Bruno Bachimont, Pierre Zweigenbau...
TACAS
2010
Springer
342views Algorithms» more  TACAS 2010»
15 years 5 months ago
SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
Janusz Malinowski, Peter Niebert
77
Voted
ACII
2007
Springer
15 years 5 months ago
Model of Facial Expressions Management for an Embodied Conversational Agent
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 ...
Radoslaw Niewiadomski, Catherine Pelachaud
92
Voted
EDOC
2000
IEEE
15 years 3 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...