Sciweavers

1484 search results - page 240 / 297
» A Coordination Model for Interactive Components
Sort
View
ECTEL
2006
Springer
15 years 2 months ago
Data and Application Integration in Learning Content Management Systems: A Web Services Approach
This paper describes a service-oriented approach for the integration of third-party external applications and resources into an existing open source eLearning environment. We detai...
Ivan Madjarov, Omar Boucelma
IEAAIE
2000
Springer
15 years 2 months ago
Intelligent and Self-Adaptive Interface
The computer systems for the decision-making must provide in a synthetic and simple way the necessary elements to the decisionmaker. That is why, it is indispensable to build Compu...
Hadhoum Boukachour, Claude Duvallet, Alain Cardon
FM
2008
Springer
171views Formal Methods» more  FM 2008»
15 years 21 days ago
Assume-Guarantee Verification for Interface Automata
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
Michael Emmi, Dimitra Giannakopoulou, Corina S. Pa...
HCI
2007
15 years 18 days ago
Social Puppets: Towards Modular Social Animation for Agents and Avatars
State-of-the-art computer graphics can give autonomous agents a compelling appearance as animated virtual characters. Typically the agents are directly responsible for controlling ...
Hannes Högni Vilhjálmsson, Chirag Merc...
EMNLP
2006
15 years 16 days ago
Automatic Construction of Predicate-argument Structure Patterns for Biomedical Information Extraction
This paper presents a method of automatically constructing information extraction patterns on predicate-argument structures (PASs) obtained by full parsing from a smaller training...
Akane Yakushiji, Yusuke Miyao, Tomoko Ohta, Yuka T...