Sciweavers

3844 search results - page 674 / 769
» Modular interpreted systems
Sort
View
LWA
2008
15 years 7 months ago
Labeling Clusters - Tagging Resources
In order to support the navigation in huge document collections efficiently, tagged hierarchical structures can be used. Often, multiple tags are used to describe resources. For u...
Korinna Bade, Andreas Nürnberger
AAAI
2006
15 years 7 months ago
Perspective Taking: An Organizing Principle for Learning in Human-Robot Interaction
The ability to interpret demonstrations from the perspective of the teacher plays a critical role in human learning. Robotic systems that aim to learn effectively from human teach...
Matt Berlin, Jesse Gray, Andrea Lockerd Thomaz, Cy...
AIML
2006
15 years 7 months ago
A General Semantics for Quantified Modal Logic
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...
Robert Goldblatt, Edwin D. Mares
AVI
2006
15 years 7 months ago
Heuristics for information visualization evaluation
Heuristic evaluation is a well known discount evaluation technique in HCI but has not been utilized in Information Visualization (InfoVis) to the same extent. While several sets o...
Torre Zuk, Lothar Schlesier, Petra Neumann, Mark S...
CLIMA
2004
15 years 7 months ago
Verifying Protocol Conformance for Logic-Based Communicating Agents
Communication plays a fundamental role in multi-agents systems. One of the main issues in the design of agent interaction protocols is the verification that a given protocol implem...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...