Sciweavers

3396 search results - page 587 / 680
» Tree representations of graphs
Sort
View
TACAS
2009
Springer
122views Algorithms» more  TACAS 2009»
15 years 11 months ago
Test Input Generation for Programs with Pointers
Software testing is an essential process to improve software quality in practice. Researchers have proposed several techniques to automate parts of this process. In particular, sym...
Dries Vanoverberghe, Nikolai Tillmann, Frank Piess...
ICRA
2009
IEEE
121views Robotics» more  ICRA 2009»
15 years 11 months ago
Learning sequential visual attention control through dynamic state space discretization
² Similar to humans and primates, artificial creatures like robots are limited in terms of allocation of their resources to huge sensory and perceptual information. Serial process...
Ali Borji, Majid Nili Ahmadabadi, Babak Nadjar Ara...
ICDE
2008
IEEE
139views Database» more  ICDE 2008»
15 years 11 months ago
Compact Similarity Joins
— Similarity joins have attracted significant interest, with applications in Geographical Information Systems, astronomy, marketing analyzes, and anomaly detection. However, all...
Brent Bryan, Frederick Eberhardt, Christos Falouts...
IROS
2008
IEEE
144views Robotics» more  IROS 2008»
15 years 11 months ago
Task maps in humanoid robot manipulation
— This paper presents an integrative approach to solve the coupled problem of reaching and grasping an object in a cluttered environment with a humanoid robot. While finding an ...
Michael Gienger, Marc Toussaint, Christian Goerick
KBSE
2008
IEEE
15 years 10 months ago
Generic Patch Inference
—A key issue in maintaining Linux device drivers is the need to update drivers in response to evolutions in Linux internal libraries. Currently, there is little tool support for ...
Jesper Andersen, Julia L. Lawall