1763 search results - page 191 / 353 » A Formalization of Polytime Functions |
CONCUR
2010
Springer
15 years 3 months ago
2010
Springer
Boolean notions of correctness are formalized by preorders on systems. Quantitative measures of correctness can be formalized by realvalued distance functions between systems, wher...
133
Voted
MBEES
2010
15 years 9 days ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
126
click to vote
TEC
2012
13 years 4 months ago
2012
Kimura’s neutral theory of evolution has inspired researchers from the evolutionary computation community to incorporate neutrality into Evolutionary Algorithms (EAs) in the hop...
118
Voted
ICIP
2006
IEEE
16 years 3 months ago
2006
IEEE
In this paper, we propose to combine formally noise and shape priors in region-based active contours. On the one hand, we use the general framework of exponential family as a prio...
133
click to vote
ICIP
2007
IEEE
16 years 3 months ago
2007
IEEE
In this paper we propose a new approach of the two-image alignment problem based on a functional representation of images. This allows us to derive a one-to-several correspondence,...