11172 search results - page 1932 / 2235 » Testing Physical Systems |
292
click to vote
ICDT
2010
ACM
16 years 4 months ago
2010
ACM
We consider a fragment of XPath named `forward-XPath', which contains all descendant and rightwards sibling axes as well as data equality and inequality tests. The satisfiabi...
131
Voted
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
This paper describes an efficient implementation of an effective sequential synthesis operation that uses induction to detect and merge sequentially-equivalent nodes. State-encodi...
165
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
– In real-time data-dominated communication and multimedia processing applications, due to the manipulation of large sets of data, a multi-layer memory hierarchy is used to enhan...
150
click to vote
ICCAD
2004
IEEE
16 years 3 months ago
2004
IEEE
This paper presents the Routing Cost Valleys (RCV) algorithm – the first published algorithm that simultaneously optimizes all short- and long-path timing constraints in a Field...
170
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
We present a novel image classification technique for detecting multiple objects (called subobjects) in a single image. In addition to image classifiers, we apply spatial relati...