Sciweavers

4099 search results - page 366 / 820
» A Framework for Interactive Proof
Sort
View
ATAL
2008
Springer
15 years 8 months ago
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems
In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitmentbased communication frameworks aim at increasing ...
Paola Spoletini, Mario Verdicchio
EEMMAS
2007
Springer
16 years 27 days ago
Situating Cognitive Agents in GOLEM
We investigate the application of a logic-based framework representing an agent environment as a composite structure that evolves over time. Such a complex structure contains the i...
Stefano Bromuri, Kostas Stathis
ISCC
2006
IEEE
16 years 23 days ago
Using Web Services for Bridging End-User Applications and Wireless Sensor Networks
Applications are the ultimate consumers of the information collected by sensors. There exist several frameworks for the interactions between end-user applications and sensors. They...
Truong Ta, Nuru Yakub Othman, Roch H. Glitho, Ferh...
ACSC
2003
IEEE
16 years 1 days ago
User Hints for Map Labelling
The Map Labelling Problem appears in several applications, mainly in Cartography. Although much research on this problem has been done, it is interesting to note that map-labellin...
Hugo A. D. do Nascimento, Peter Eades
ISWC
2000
IEEE
15 years 11 months ago
Finding Location Using Omnidirectional Video on a Wearable Computing Platform
In this paper we present a framework for a navigation system in an indoor environment using only omnidirectional video. Within a Bayesian framework we seek the appropriate place a...
Wasinee Rungsarityotin, Thad Starner