Sciweavers

6306 search results - page 1095 / 1262
» Space, Time, and the Use of Language
Sort
View
FUIN
2008
147views more  FUIN 2008»
15 years 6 months ago
A Basic Logic for Reasoning about Connector Reconfiguration
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
Dave Clarke
IJSC
2008
161views more  IJSC 2008»
15 years 6 months ago
Automatic Generation of Gaze and Gestures for Dialogues between Embodied Conversational Agents
In this paper we introduce a system that automatically adds different types of non-verbal behavior to a given dialogue script between two virtual embodied agents. It allows us to t...
Werner Breitfuss, Helmut Prendinger, Mitsuru Ishiz...
JUCS
2008
143views more  JUCS 2008»
15 years 6 months ago
Defining Tasks, Domains and Conversational Acts in CSCW Systems: the SPACE-DESIGN Case Study
: Most of the current academic and professional work requires collaboration between the members of a working group. Groupware tools play a prevailing role in supporting this collab...
Rafael Duque, Jesús Gallardo, Crescencio Br...
IANDC
2007
66views more  IANDC 2007»
15 years 6 months ago
Quantitative temporal logics over the reals: PSpace and below
In many cases, the addition of metric operators to qualitative temporal logics (TLs) increases the complexity of satisfiability by at least one exponential: while common qualitat...
Carsten Lutz, Dirk Walther, Frank Wolter
TLT
2008
149views more  TLT 2008»
15 years 6 months ago
Control Your eLearning Environment: Exploiting Policies in an Open Infrastructure for Lifelong Learning
Abstract-- Nowadays, people are in need for continuous learning in order to keep up to date or to be upgraded in their job. An infrastructure for life-long learning requires contin...
Juri Luca De Coi, Philipp Kärger, Arne Wolf K...
« Prev « First page 1095 / 1262 Last » Next »