2128 search results - page 269 / 426 » A general characterization of indulgence |
156
click to vote
IPPS
2007
IEEE
15 years 7 months ago
2007
IEEE
Parallel applications based on irregular meshes make use of mesh partitioners for efficient execution. Some mesh partitioners can map a mesh to a heterogeneous computational plat...
122
Voted
LICS
2007
IEEE
15 years 7 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
120
Voted
QSIC
2007
IEEE
15 years 7 months ago
2007
IEEE
In semantics-based component retrieval ontology is usually employed as the semantic basis for component representation and matching. Existing methods always assume that the ontolo...
95
Voted
ROMAN
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— In this paper we provide a possible characterisation of user behaviour based on an analysis of a corpus of human-robot communication, collected by using the Wizard-of-O...
101
Voted
ROBOCOMM
2007
IEEE
15 years 7 months ago
2007
IEEE
—This paper presents a communication/coordination/ processing architecture for distributed adaptive observation of a spatial field using a fleet of autonomous mobile sensors. O...