Sciweavers

6293 search results - page 345 / 1259
» Information Flow Testing
Sort
View
ALT
2009
Springer
16 years 1 months ago
Iterative Learning from Texts and Counterexamples Using Additional Information
Abstract. A variant of iterative learning in the limit (cf. [LZ96]) is studied when a learner gets negative examples refuting conjectures containing data in excess of the target la...
Sanjay Jain, Efim B. Kinber
CRV
2009
IEEE
158views Robotics» more  CRV 2009»
15 years 11 months ago
Automated Spatial-Semantic Modeling with Applications to Place Labeling and Informed Search
This paper presents a spatial-semantic modeling system featuring automated learning of object-place relations from an online annotated database, and the application of these relat...
Pooja Viswanathan, David Meger, Tristram Southey, ...
HRI
2006
ACM
15 years 10 months ago
Effects of adaptive robot dialogue on information exchange and social relations
Human-robot interaction could be improved by designing robots that engage in adaptive dialogue with users. An adaptive robot could estimate the information needs of individuals an...
Cristen Torrey, Aaron Powers, Matthew Marge, Susan...
MTV
2005
IEEE
128views Hardware» more  MTV 2005»
15 years 10 months ago
Automated Extraction of Structural Information from SystemC-based IP for Validation
The increasing complexity and size of system level design models introduces a difficult challenge for validating them. Hence, in most industries, design validation takes a large p...
David Berner, Hiren D. Patel, Deepak Mathaikutty, ...
WISE
2005
Springer
15 years 10 months ago
Document Re-ranking by Generality in Bio-medical Information Retrieval
Document ranking is well known to be a crucial process in information retrieval (IR). It presents retrieved documents in an order of their estimated degrees of relevance to query. ...
Xin Yan, Xue Li, Dawei Song