7393 search results - page 560 / 1479 » Synthesis-for-testability using transformations |
188
Voted
NAACL
1994
15 years 8 months ago
1994
This paper describes PEGASUS, a spoken language interface for on-line air travel planning that we have recently developed. PEGASUSleverages off our spoken language technology deve...
229
click to vote
ENTCS
2008
15 years 7 months ago
2008
In this paper, we introduce a system, written in Haskell, for filtering information from XML data. Essentially, the system implements a simple declarative language which allows on...
159
Voted
EXPERT
2008
15 years 7 months ago
2008
: In this article we analyze the current state of case-based plan adaptation research. We include the traditional distinction between transformational and derivational analogy but ...
171
click to vote
PAMI
2006
15 years 7 months ago
2006
In this paper, new wavelet-based affine invariant functions for shape representation are presented. Unlike the previous representation functions, only the approximation coefficient...
230
click to vote
TIP
2002
15 years 7 months ago
2002
We propose a new method for contour tracking in video. The inverted distance transform of the edge map is used as an edge indicator function for contour detection. Using the concep...