Sciweavers

4604 search results - page 780 / 921
» Analysis of Negotiation Dynamics
Sort
View
ATVA
2008
Springer
131views Hardware» more  ATVA 2008»
15 years 8 months ago
Computation Tree Regular Logic for Genetic Regulatory Networks
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, H...
CDC
2008
IEEE
188views Control Systems» more  CDC 2008»
15 years 8 months ago
A method for stereo-vision based tracking for robotic applications
Vision based tracking of an object using the ideas of perspective projection inherently consists of nonlinearly modelled measurements although the underlying dynamic system that en...
Pubudu N. Pathirana, Adrian N. Bishop, Andrey V. S...
AINA
2006
IEEE
15 years 8 months ago
DiVES: A Distributed Support for Networked Virtual Environments
This paper presents DiV ES, a distributed support for the development of networked Distributed Virtual Environments. DiV ES exploits the publish subscribe interaction model to def...
A. Bonotti, Luca Genovali, Laura Ricci
ATAL
2006
Springer
15 years 8 months ago
ReAgents: behavior-based remote agents and their performance
We present a performance analysis of an agent-based middleware system we have developed based on "reAgents," remotely executing agents that enhance the performance of cl...
Eugene Hung, Joseph Pasquale
ICDCS
2010
IEEE
15 years 8 months ago
ASAP: Scalable Identification and Counting for Contactless RFID Systems
The growing importance of operations such as identification, location sensing and object tracking has led to increasing interests in contactless Radio Frequency Identification (RFI...
Chen Qian, Yunhuai Liu, Hoilun Ngan, Lionel M. Ni