440 search results - page 42 / 88 » Local reasoning for abstraction and sharing |
IPPS
2010
IEEE
14 years 12 months ago
2010
IEEE
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 ...
121
click to vote
SAS
2001
Springer
15 years 6 months ago
2001
Springer
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...
117
click to vote
DLOG
2010
14 years 12 months ago
2010
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...
109
click to vote
ESAS
2007
Springer
15 years 8 months ago
2007
Springer
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...
112
click to vote
IROS
2006
IEEE
15 years 8 months ago
2006
IEEE
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...