Sciweavers

3600 search results - page 282 / 720
» Conversational intelligence analysis
Sort
View
ISSAC
2007
Springer
121views Mathematics» more  ISSAC 2007»
15 years 10 months ago
A comparative analysis of parallel disk-based Methods for enumerating implicit graphs
It is only in the last five years that researchers have begun to use disk-based search techniques on a large scale. The primary examples of its use come from symbolic algebra and...
Eric Robinson, Daniel Kunkle, Gene Cooperman
LPAR
2007
Springer
15 years 10 months ago
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
Francien Dechesne, Mohammad Reza Mousavi, Simona O...
IROS
2006
IEEE
115views Robotics» more  IROS 2006»
15 years 10 months ago
An Analysis of Random Peer-to-Peer Communication for System-Level Coordination in Decentralized Multiple-Robot Systems
— Inter-robot communication is essential if general purpose intelligent decentralized multiple-robot systems are to become a reality. Traditionally, explicit communication amongs...
Chris A. C. Parker, Hong Zhang
ACRI
2006
Springer
15 years 10 months ago
Improved Cell-DEVS Models for Fire Spreading Analysis
The spread of fire is a complex phenomenon that many have tried to study over the years. As one can imagine, the spread of fire depends on many different variables such as the mate...
Matthew MacLeod, Rachid Chreyh, Gabriel A. Wainer
ATAL
2005
Springer
15 years 10 months ago
Formal Modeling and Analysis of Organizations
A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced. It exploits static and dynamic properties of the organiz...
Egon L. van den Broek, Catholijn M. Jonker, Alexei...