Sciweavers

685 search results - page 66 / 137
» Closure Operators for Order Structures
Sort
View
IROS
2008
IEEE
100views Robotics» more  IROS 2008»
15 years 9 months ago
Overcoming sensor noise for low-tolerance autonomous assembly
Abstract— The capability to assemble structures is fundamental to the use of robotics in precursor missions in orbit and on planetary surfaces. We have performed autonomous assem...
Brennan Sellner, Frederik W. Heger, Laura M. Hiatt...
CP
2006
Springer
15 years 6 months ago
Decomposition of Multi-operator Queries on Semiring-Based Graphical Models
Abstract. In the last decades, the Satisfiability and Constraint Satisfaction Problem frameworks were extended to integrate aspects such as uncertainties, partial observabilities, ...
Cédric Pralet, Thomas Schiex, Gérard...
EDBT
2006
ACM
255views Database» more  EDBT 2006»
16 years 2 months ago
FIS-by-Step: Visualization of the Fast Index Scan for Nearest Neighbor Queries
Abstract. Many different index structures have been proposed for spatial databases to support efficient query processing. However, most of these index structures suffer from an exp...
Elke Achtert, Dominik Schwald
130
Voted
EDOC
2004
IEEE
15 years 6 months ago
Notations for the Specification and Verification of Composite Web Services
Availability of a wide variety of Web services over the Internet offers opportunities of providing new value added services built by composing them out of existing ones. Service c...
Simon J. Woodman, Doug J. Palmer, Santosh K. Shriv...
115
Voted
USENIX
2003
15 years 3 months ago
Using Read-Copy-Update Techniques for System V IPC in the Linux 2.5 Kernel
Read-copy update (RCU) allows lock-free read-only access to data structures that are concurrently modified on SMP systems. Despite the concurrent modifications, read-only access...
Andrea Arcangeli, Mingming Cao, Paul E. McKenney, ...