Sciweavers

536 search results - page 32 / 108
» paste 2010
Sort
View
IEAAIE
2010
Springer
13 years 6 months ago
Temporal Bounded Planner Agent for Dynamic Industrial Environments
This paper presents a time bounded real-time agent, the core of a Multi-agent System aimed at managing the security in manufacturing environments, where time constraints are a key ...
Juan Francisco de Paz, Martí Navarro, Sara ...
INDOCRYPT
2010
Springer
13 years 6 months ago
Getting a Few Things Right and Many Things Wrong
: Radio frequency identification (RFID) is a technology for the automated identification of physical entities using radio frequency transmissions. In the past ten years, RFID syste...
Neal Koblitz
KESAMSTA
2010
Springer
13 years 6 months ago
Engaging the Dynamics of Trust in Computational Trust and Reputation Systems
Computational Trust and Reputation (CTR) systems are essential in electronic commerce to encourage interactions and suppress deceptive behaviours. This paper focus on comparing two...
Agnieszka Danek, Joana Urbano, Ana Paula Rocha, Eu...
PAAMS
2010
Springer
13 years 6 months ago
A Model-Based Ambient Agent Providing Support in Handling Desire and Temptation
An ambient agent system is presented estimating a human's dynamics of desiring and being tempted. The agent is equipped with a dynamical model of the human's processes wh...
Mark Hoogendoorn, Zulfiqar A. Memon, Jan Treur, Mu...
SAT
2010
Springer
127views Hardware» more  SAT 2010»
13 years 6 months ago
Symmetry and Satisfiability: An Update
Abstract. The past few years have seen significant progress in algorithms and heuristics for both SAT and symmetry detection. Additionally, the thesis that some of SAT's intra...
Hadi Katebi, Karem A. Sakallah, Igor L. Markov