Sciweavers

4095 search results - page 544 / 819
» How to test a tree
Sort
View
118
Voted
ALT
2009
Springer
16 years 15 days 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
137
Voted
VEE
2010
ACM
247views Virtualization» more  VEE 2010»
15 years 10 months ago
Capability wrangling made easy: debugging on a microkernel with valgrind
Not all operating systems are created equal. Contrasting traditional monolithic kernels, there is a class of systems called microkernels more prevalent in embedded systems like ce...
Aaron Pohle, Björn Döbel, Michael Roitzs...
114
Voted
HRI
2010
ACM
15 years 10 months ago
Gracefully mitigating breakdowns in robotic services
— Robots that operate in the real world will make mistakes. Thus, those who design and build systems will need to understand how best to provide ways for robots to mitigate those...
Min Kyung Lee, Sara Kielser, Jodi Forlizzi, Siddha...
130
Voted
HRI
2010
ACM
15 years 10 months ago
A study of a retro-projected robotic face and its effectiveness for gaze reading by humans
—Reading gaze direction is important in human-robot interactions as it supports, among others, joint attention and non-linguistic interaction. While most previous work focuses on...
Frédéric Delaunay, Joachim de Greeff...
132
Voted
SIGCSE
2010
ACM
164views Education» more  SIGCSE 2010»
15 years 10 months ago
Scalable game design and the development of a checklist for getting computational thinking into public schools
Game design appears to be a promising approach to interest K-12 students in Computer Science. Unfortunately, balancing motivational and educational concerns is truly challenging. ...
Alexander Repenning, David C. Webb, Andri Ioannido...