2797 search results - page 296 / 560 » Code query by example |
154
click to vote
SIGSOFT
2003
ACM
15 years 9 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
211
click to vote
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
We introduce the notion of a data topology and the problem of topology search over databases. A data topology summarizes the set of all possible relationships that connect a given...
138
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
The Prague texture segmentation data-generator and benchmark is a web based (http://mosaic.utia.cas.cz) service designed to mutually compare and rank different texture segmenters,...
151
click to vote
ICPR
2002
IEEE
16 years 5 months ago
2002
IEEE
This paper describes an approach for video structuring and indexing. It relies on motion wavelet coefficients directly estimated from image sequence. These coefficients provide a ...
150
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
The E-KRHyper system is a model generator and theorem prover for first-order logic with equality. It implements the new E-hyper tableau calculus, which integrates a superposition-b...