Sciweavers

682 search results - page 100 / 137
» Situated Semantic Alignment
Sort
View
IUI
2010
ACM
15 years 4 months ago
Automatic generation of research trails in web history
We propose the concept of research trails to help web users create and reestablish context across fragmented research processes without requiring them to explicitly structure and ...
Elin Rønby Pedersen, Karl Gyllstrom, Shengy...
ICPW
2007
15 years 1 months ago
Rule responder: RuleML-based agents for distributed collaboration on the pragmatic web
The Rule Responder project (responder.ruleml.org) extends the Semantic Web towards a Pragmatic Web infrastructure for collaborative human-computer networks. These allow semi-autom...
Adrian Paschke, Harold Boley, Alexander Kozlenkov,...
BCS
2008
15 years 1 months ago
Component-Based Description of Programming Languages
Research in formal description of programming languages over the past four decades has led to some significant achievements. These include formal syntax and semantics for complete...
Peter D. Mosses
TELECARE
2004
160views Healthcare» more  TELECARE 2004»
15 years 1 months ago
Aingeru: an Innovating System for Tele Assistance of Elderly People
In this article we present the main features of Aingeru, a system that provides a new kind of tele assistance service. The purpose of developing Aingeru has been to overcome the ma...
Alberto Tablado, Arantza Illarramendi, Miren I. Ba...
ATAL
2010
Springer
15 years 28 days ago
Reasoning about strategies of multi-agent programs
Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent...
Mehdi Dastani, Wojciech Jamroga