Sciweavers

10891 search results - page 1552 / 2179
» Combining Model Reductions
Sort
View
MOBICOM
2003
ACM
15 years 11 months ago
Distributed algorithms for guiding navigation across a sensor network
We develop distributed algorithms for self-organizing sensor networks that respond to directing a target through a region. The sensor network models the danger levels sensed acros...
Qun Li, Michael DeRosa, Daniela Rus
AGENTCL
2003
Springer
15 years 11 months ago
Commitment and Argument Network: A New Formalism for Agent Communication
This paper proposes a formal framework which offers an external representation of conversations between conversational agents. Using this formalism allows us: (1) to represent the ...
Jamal Bentahar, Bernard Moulin, Brahim Chaib-draa
CAIP
2003
Springer
166views Image Analysis» more  CAIP 2003»
15 years 11 months ago
Unsupervised Segmentation Incorporating Colour, Texture, and Motion
Abstract. In this paper we integrate colour, texture, and motion into a segmentation process. The segmentation consists of two steps, which both combine the given information: a pr...
Thomas Brox, Mikaël Rousson, Rachid Deriche, ...
CHARME
2003
Springer
129views Hardware» more  CHARME 2003»
15 years 11 months ago
On the Correctness of an Intrusion-Tolerant Group Communication Protocol
Intrusion-tolerance is the technique of using fault-tolerance to achieve security properties. Assuming that faults, both benign and Byzantine, are unavoidable, the main goal of Int...
Mohamed Layouni, Jozef Hooman, Sofiène Taha...
CP
2003
Springer
15 years 11 months ago
Propagating N-Ary Rigid-Body Constraints
In this paper, we present an algorithm to propagate an n-ary constraint (with n greater than 2) specifying the relative positions of points in a three-dimensional rigid group. The ...
Ludwig Krippahl, Pedro Barahona
« Prev « First page 1552 / 2179 Last » Next »