Sciweavers

440 search results - page 42 / 88
» Local reasoning for abstraction and sharing
Sort
View
IPPS
2010
IEEE
14 years 12 months ago
BitTorrent and fountain codes: friends or foes?
Abstract--BitTorrent is the most popular file sharing protocol on the Internet. It is proved that its performance are nearoptimal for generic file distribution when the overlay is ...
Salvatore Spoto, Rossano Gaeta, Marco Grangetto, M...
SAS
2001
Springer
117views Formal Methods» more  SAS 2001»
15 years 6 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...
DLOG
2010
14 years 12 months ago
TBox Classification in Parallel: Design and First Evaluation
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
Mina Aslani, Volker Haarslev
ESAS
2007
Springer
15 years 8 months ago
Multiple Target Localisation in Sensor Networks with Location Privacy
Abstract. It is now well known that data-fusion from multiple sensors can improve detection and localisation of targets. Traditional data fusion requires the sharing of detailed da...
Matthew Roughan, Jon Arnold
IROS
2006
IEEE
152views Robotics» more  IROS 2006»
15 years 8 months ago
Integrating Active Mobile Robot Object Recognition and SLAM in Natural Environments
Abstract— Linking semantic and spatial information has become an important research area in robotics since, for robots interacting with humans and performing tasks in natural env...
Staffan Ekvall, Patric Jensfelt, Danica Kragic