8671 search results - page 389 / 1735 » A generator for hierarchical problems |
172
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...
191
click to vote
ICS
2009
Tsinghua U.
16 years 1 months ago
2009
Tsinghua U.
The Cell BE is a multicore processor with eight vector accelerators (called SPEs) that implement explicit cache management through direct memory access engines. While the Cell has...
161
click to vote
ICIG
2009
IEEE
16 years 1 months ago
2009
IEEE
Classifying natural scenes into semantic categories has always been a challenging task. So far, many works in this field are primarily intended for single label classification, wh...
174
click to vote
ICIDS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. AI planning has featured in a number of Interactive Storytelling prototypes: since narratives can be naturally modelled as a sequence of actions it has been possible to e...
159
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
— 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...