Sciweavers

578 search results - page 80 / 116
» E-Satisfaction - A Comprehensive Framework
Sort
View
ARGMAS
2005
Springer
14 years 2 months ago
Testing Formal Dialectic
Systems of argumentation or ’computational dialectic’ are emerging as a powerful means of structuring inter-agent communication in multi-agent systems. Individual systems of co...
Simon Wells, Chris Reed
CIVR
2005
Springer
14 years 2 months ago
Automatic Annotation of Images from the Practitioner Perspective
This paper describes an ongoing project which seeks to contribute to a wider understanding of the realities of bridging the semantic gap in visual image retrieval. A comprehensive ...
Peter G. B. Enser, Christine J. Sandom, Paul H. Le...
FOSSACS
2005
Springer
14 years 2 months ago
Bridging Language-Based and Process Calculi Security
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld
ACHI
2009
IEEE
14 years 1 months ago
Understanding Social Robots
Research on social robots is mainly comprised of research into algorithmic problems in order to expand a robot´s capabilities to improve communication with human beings. Also, a ...
Frank Hegel, Claudia Muhl, Britta Wrede, Martina H...
ECOOP
2010
Springer
14 years 1 months ago
Detecting Missing Method Calls in Object-Oriented Software
When using object-oriented frameworks it is easy to overlook certain important method calls that are required at particular places in code. In this paper, we provide a comprehensiv...
Martin Monperrus, Marcel Bruch, Mira Mezini