Sciweavers

4767 search results - page 344 / 954
» Structures for Abstract Rewriting
Sort
View
ICC
2007
IEEE
116views Communications» more  ICC 2007»
16 years 1 months ago
Skip Tree Graph: a Distributed and Balanced Search Tree for Peer-to-Peer Networks
Abstract—Skip Tree Graph is a novel, distributed, data structure for peer-to-peer systems that supports exact-match and order-based queries such as range queries efficiently. It...
Alejandra González Beltrán, Paul Sag...
SMC
2007
IEEE
150views Control Systems» more  SMC 2007»
16 years 28 days ago
Modeling and analysis of multi-agent systems using petri nets
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...
Jose R. Celaya, Alan A. Desrochers, Robert J. Grav...
ER
2007
Springer
82views Database» more  ER 2007»
16 years 25 days ago
Tracing the Rationale Behind UML Model Change Through Argumentation
Abstract. Neglecting traceability—i.e., the ability to describe and follow the life of a requirement—is known to entail misunderstanding and miscommunication, leading to the en...
Ivan Jureta, Stéphane Faulkner
ERCIMDL
2007
Springer
137views Education» more  ERCIMDL 2007»
16 years 25 days ago
Ontology-Based Question Answering for Digital Libraries
Abstract. In this paper we present an approach to question answering over heterogeneous knowledge sources that makes use of different ontology management components within the sce...
Stephan Bloehdorn, Philipp Cimiano, Alistair Duke,...
IBPRIA
2007
Springer
16 years 25 days ago
Line Extraction from Mechanically Scanned Imaging Sonar
Abstract. The extraction of reliable features is a key issue for autonomous underwater vehicle navigation. Imaging sonars can produce acoustic images of the surroundings of the veh...
David Ribas, Pere Ridao, José Neira, Juan D...