5387 search results - page 438 / 1078 » Generating generic functions |
213
click to vote
FOCS
1999
IEEE
15 years 11 months ago
1999
IEEE
Various efforts ([?, ?, ?]) have been made in recent years to derandomize probabilistic algorithms using the complexity theoretic assumption that there exists a problem in E = dti...
176
click to vote
PLDI
1996
ACM
15 years 11 months ago
1996
ACM
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
219
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
This paper proposes a statistic framework for segmenting textured areas over real images by discriminant snakes. Our active contour model has the ability to learn different textur...
158
click to vote
IPMI
2003
Springer
16 years 7 months ago
2003
Springer
We formulate and interpret several registration methods in the context of a unified statistical and information theoretic framework. A unified interpretation clarifies the implici...
200
click to vote
PPDP
2009
Springer
16 years 1 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...