Sciweavers

2934 search results - page 363 / 587
» Universality in Multi-Agent Systems
Sort
View
HICSS
2009
IEEE
126views Biometrics» more  HICSS 2009»
16 years 1 months ago
Experimental Evaluation of Wiki Technology and the Shaper Role in Rapid Interdisciplinary Requirements Negotiation
The challenges driven by multi-culture, multidiscipline stakeholders collaborating in a rapidly changing global environment necessitates an easily approachable mechanism for negot...
Di Wu, Da Yang, Supannika Koolmanojwong, Barry W. ...
BIRTHDAY
2009
Springer
16 years 1 months ago
The KBMS Project and Beyond
The Knowledge Base Management Systems (KBMS) Project at the University of Toronto (1985-1995) was inspired by a need for advanced knowledge representation applications that require...
Vinay K. Chaudhri, Igor Jurisica, Manolis Koubarak...
ICALP
2009
Springer
16 years 1 months ago
Names Trump Malice: Tiny Mobile Agents Can Tolerate Byzantine Failures
Abstract. We introduce a new theoretical model of ad hoc mobile computing in which agents have severely restricted memory, highly unpredictable movement and no initial knowledge of...
Rachid Guerraoui, Eric Ruppert
ICASSP
2009
IEEE
16 years 1 months ago
Humming-based human verification and identification
This paper considers humming-based human verification and identification systems. Humming of a target person is modeled as a Gaussian mixture model, and the matching score betwe...
Minho Jin, Jaewook Kim, Chang D. Yoo
CALCO
2009
Springer
150views Mathematics» more  CALCO 2009»
16 years 1 months ago
Approximating Labelled Markov Processes Again!
Abstract. Labelled Markov processes are continuous-state fully probabilistic labelled transition systems. They can be seen as co-algebras of a suitable monad on the category of mea...
Philippe Chaput, Vincent Danos, Prakash Panangaden...