Sciweavers

3618 search results - page 437 / 724
» Dynamic Data Integration Using Web Services
Sort
View
IROS
2009
IEEE
229views Robotics» more  IROS 2009»
15 years 10 months ago
3D mapping for urban service robots
— We present an approach to the problem of 3D map building in urban settings for service robots, using threedimensional laser range scans as the main data input. Our system is ba...
Rafael Valencia, Ernesto Homar Teniente Avil&eacut...
FTDCS
2004
IEEE
15 years 7 months ago
An Architectural View of the Entities Required for Execution of Task in Pervasive Space
Aimed to provide computation ubiquitously, pervasive computing is perceived as a means to provide an user the transparency of anywhere, anyplace, anytime computing. Pervasive comp...
K. Kalapriya, S. K. Nandy, V. Satish, R. Uma Mahes...
FAC
2010
106views more  FAC 2010»
15 years 1 months ago
Automatic verification of Java programs with dynamic frames
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Sc...
PVLDB
2010
128views more  PVLDB 2010»
15 years 2 months ago
Update Rewriting and Integrity Constraint Maintenance in a Schema Evolution Support System: PRISM++
Supporting legacy applications when the database schema evolves represents a long-standing challenge of practical and theoretical importance. Recent work has produced algorithms a...
Carlo Curino, Hyun Jin Moon, Alin Deutsch, Carlo Z...
WSC
2001
15 years 5 months ago
Taylor enterprise dynamics
Taylor Enterprise Dynamics (Taylor ED) is an objectoriented software system used to model, simulate, visualize, and monitor dynamic-flow process activities and systems. Atoms are ...
William B. Nordgren