Sciweavers

1220 search results - page 136 / 244
» Guided Data Repair
Sort
View
ICFP
2006
ACM
14 years 10 months ago
Boxy types: inference for higher-rank types and impredicativity
Languages with rich type systems are beginning to employ a blend of type inference and type checking, so that the type inference engine is guided by programmer-supplied type annot...
Dimitrios Vytiniotis, Stephanie Weirich, Simon L. ...
HRI
2009
ACM
14 years 4 months ago
Learning about objects with human teachers
A general learning task for a robot in a new environment is to learn about objects and what actions/effects they afford. To approach this, we look at ways that a human partner c...
Andrea Lockerd Thomaz, Maya Cakmak
IRI
2009
IEEE
14 years 4 months ago
Ontology-based Information Model Development for Science Information Reuse and Integration
Scientific digital libraries serve complex and evolving research communities. Justifications for the development of scientific digital libraries include the desire to preserve sci...
J. Steven Hughes, Daniel J. Crichton, Chris Mattma...
IROS
2009
IEEE
111views Robotics» more  IROS 2009»
14 years 4 months ago
An exploration method for general robotic systems equipped with multiple sensors
Abstract— This paper presents a novel method for sensorbased exploration of unknown environments by a general robotic system equipped with multiple sensors. The method is based o...
Luigi Freda, Giuseppe Oriolo, Francesco Vecchioli
DATE
2008
IEEE
104views Hardware» more  DATE 2008»
14 years 4 months ago
Diagnostic Analysis of Static Errors in Multi-Step Analog to Digital Converters
– A new approach for diagnostic analysis of static errors in multi-step ADC based on the steepestdescent method is proposed. To set initial data, estimate the parameter update an...
Amir Zjajo, José Pineda de Gyvez