1738 search results - page 113 / 348 » Local Consistency and SAT-Solvers |
ICCS
2007
Springer
14 years 4 months ago
2007
Springer
This paper describes a preliminary cyberinfrastructure for contaminant characterization in water distribution systems and its deployment on the grid. The cyberinfrastructure consis...
APCCAS
2006
IEEE
14 years 4 months ago
2006
IEEE
— We propose a VLSI architecture for the single-chip realization of 2D spatio-temporal IIR digital filters, consisting of a meshed connection of concurrent identical vector-proce...
ICRA
2005
IEEE
14 years 3 months ago
2005
IEEE
— In [5], a version of Relative Map Filter (RMF) is proposed to solve the simultaneous localization and map building (SLAM) problem. In the RMF, the map states contain only quant...
CLUSTER
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents a concurrent object model based on distributed recursive sets for data intensive applications that use complex, recursive data layouts. The set abstraction is ...
ICRA
2002
IEEE
14 years 3 months ago
2002
IEEE
The paper compares various approaches to implementing a compliant Cartesian behavior for robotic manipulators: impedance, admittance and stiffness control. A new controller struc...