Sciweavers

478 search results - page 56 / 96
» Formal Modelling of Cognitive Interpretation
Sort
View
196
Voted
AGTIVE
2007
Springer
15 years 7 months ago
Verification and Synthesis of OCL Constraints Via Topology Analysis
On the basis of a case-study, we demonstrate the usefulness of topology invariants for model-driven systems development. Considering a graph grammar semantics for a relevant fragme...
Jörg Bauer, Werner Damm, Tobe Toben, Bernd We...
130
Voted
AUSAI
2006
Springer
15 years 7 months ago
A Flexible Framework for SharedPlans
Abstract. SharedPlans is an agent teamwork model that provides a formalization of the conditions under which a group of agents has a collaborative plan. This paper describes a gene...
Minh Hoai Nguyen, Wayne Wobcke
137
Voted
UAIS
2002
100views more  UAIS 2002»
15 years 3 months ago
Toward overcoming culture, skill and situation hurdles in Human-Computer Interaction
Abstract. This paper proposes a new effective strategy for designing and implementing interactive systems overcoming culture, skill and situation hurdles in HumanComputer Interacti...
Paola Carrara, Daniela Fogli, Giuseppe Fresta, Pie...
135
Voted
DLOG
2000
15 years 4 months ago
Knowledge Representation on the Web
Recently, there has been a wide interest in using ontologies on the Web. As a basis for this, RDF Schema (RDFS) provides means to define vocabulary, structure and constraints for ...
Stefan Decker, Dieter Fensel, Frank van Harmelen, ...
170
Voted
FGR
2011
IEEE
244views Biometrics» more  FGR 2011»
14 years 7 months ago
Emotion representation, analysis and synthesis in continuous space: A survey
— Despite major advances within the affective computing research field, modelling, analysing, interpreting and responding to naturalistic human affective behaviour still remains...
Hatice Gunes, Björn Schuller, Maja Pantic, Ro...