Sciweavers

4880 search results - page 449 / 976
» Manuals as Structured Programs
Sort
View
CHI
2006
ACM
16 years 7 months ago
Verbosity: a game for collecting common-sense facts
We address the problem of collecting a database of "common-sense facts" using a computer game. Informally, a common-sense fact is a true statement about the world that i...
Luis von Ahn, Mihir Kedia, Manuel Blum
ICSE
2007
IEEE-ACM
16 years 7 months ago
Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications
Although it is common in large Java programs to rethrow exceptions, existing exception-flow analyses find only single exceptionflow links, thus are unable to identify multiple-lin...
Chen Fu, Barbara G. Ryder
ICSE
2009
IEEE-ACM
16 years 1 months ago
Test selection for result inspection via mining predicate rules
It is labor-intensive to manually verify the outputs of a large set of tests that are not equipped with test oracles. Test selection helps to reduce this cost by selecting a small...
Wujie Zheng, Michael R. Lyu, Tao Xie
DATE
2009
IEEE
176views Hardware» more  DATE 2009»
16 years 1 months ago
Automated synthesis of streaming C applications to process networks in hardware
Abstract—The demand for embedded computing power is continuously increasing and FPGAs are becoming very interesting computing platforms, as they provide huge amounts of customiza...
Sven van Haastregt, Bart Kienhuis
ICRA
2009
IEEE
169views Robotics» more  ICRA 2009»
16 years 1 months ago
Task-level imitation learning using variance-based movement optimization
— Recent advances in the field of humanoid robotics increase the complexity of the tasks that such robots can perform. This makes it increasingly difficult and inconvenient to ...
Manuel Mühlig, Michael Gienger, Sven Hellbach...