Sciweavers

3001 search results - page 114 / 601
» Recursive type generativity
Sort
View
121
Voted
ICSE
2004
IEEE-ACM
16 years 2 months ago
Static Checking of Dynamically Generated Queries in Database Applications
Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g., can create string representations of SQL queri...
Carl Gould, Zhendong Su, Premkumar T. Devanbu
123
Voted
TACAS
2009
Springer
122views Algorithms» more  TACAS 2009»
15 years 9 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
2007
IEEE
162views Robotics» more  ICRA 2007»
15 years 9 months ago
Learning and Evaluation of the Approach Vector for Automatic Grasp Generation and Planning
— In this paper, we address the problem of automatic grasp generation for robotic hands where experience and shape primitives are used in synergy so to provide a basis not only f...
Staffan Ekvall, Danica Kragic
163
Voted
EMNLP
2011
14 years 2 months ago
Structured Relation Discovery using Generative Models
We explore unsupervised approaches to relation extraction between two named entities; for instance, the semantic bornIn relation between a person and location entity. Concretely, ...
Limin Yao, Aria Haghighi, Sebastian Riedel, Andrew...
WWW
2007
ACM
16 years 3 months ago
Generating efficient labels to facilitate web accessibility
For many users with a disability it can be difficult or impossible to use a computer mouse to navigate the web. An alternative way to select elements on a web page is the label ty...
Leo Spalteholz, Kin Fun Li, Nigel Livingston