5159 search results - page 570 / 1032 » Structural Testing of Executables |
194
click to vote
SIGMOD
2002
ACM
16 years 7 months ago
2002
ACM
This work is a proposal for a database index structure that has been specifically designed to support the evaluation of XPath queries. As such, the index is capable to support all...
203
click to vote
POPL
2010
ACM
16 years 5 months ago
2010
ACM
This paper introduces a new recursion principle for inductive data modulo -equivalence of bound names. It makes use of Oderskystyle local names when recursing over bound names. It...
157
click to vote
ICRA
2009
IEEE
16 years 2 months ago
2009
IEEE
— Most of robotic soft pads studied so far were made with a thick layer of homogeneous material shaped around a rigid core; their behavior has been widely investigated in the lit...
190
click to vote
ICASSP
2008
IEEE
16 years 2 months ago
2008
IEEE
This paper presents an open contour tracking method that employs an arc-emission Hidden Markov Model (HMM). The algorithm encodes the shape information of the structure in a spati...
169
click to vote
ISCAS
2008
IEEE
16 years 2 months ago
2008
IEEE
— In this paper, a new hybrid photodiode-photogate (HPDPG) CMOS APS pixel for high-dynamic range imaging applications is presented. The HPDPG pixel composes of a biased photogate...