Sciweavers

13917 search results - page 2630 / 2784
» Abstraction of Probabilistic Systems
Sort
View
201
Voted
ISRR
2005
Springer
154views Robotics» more  ISRR 2005»
16 years 15 days ago
Session Overview Planning
ys when planning meant searching for a sequence of abstract actions that satisfied some symbolic predicate. Robots can now learn their own representations through statistical infe...
Nicholas Roy, Roland Siegwart
168
Voted
LPAR
2005
Springer
16 years 15 days ago
The Four Sons of Penrose
Abstract. We distill Penrose’s argument against the “artificial intelligence premiss”, and analyze its logical alternatives. We then clarify the different positions one can...
Nachum Dershowitz
SEMWEB
2005
Springer
16 years 15 days ago
RelExt: A Tool for Relation Extraction from Text in Ontology Extension
Abstract. Domain ontologies very rarely model verbs as relations holding between concepts. However, the role of the verb as a central connecting element between concepts is undenia...
Alexander Schutz, Paul Buitelaar
SSS
2005
Springer
132views Control Systems» more  SSS 2005»
16 years 15 days ago
Self-stabilizing Mobile Node Location Management and Message Routing
We present simple algorithms for achieving self-stabilizing location management and routing in mobile ad-hoc networks. While mobile clients may be susceptible to corruption and sto...
Shlomi Dolev, Limor Lahiani, Nancy A. Lynch, Tina ...
WDAG
2005
Springer
104views Algorithms» more  WDAG 2005»
16 years 15 days ago
Polymorphic Contention Management
Abstract. In software transactional memory (STM) systems, a contention manager resolves conflicts among transactions accessing the same memory locations. Whereas atomicity and ser...
Rachid Guerraoui, Maurice Herlihy, Bastian Pochon
« Prev « First page 2630 / 2784 Last » Next »