3974 search results - page 243 / 795 » Metric Functional Dependencies |
171
click to vote
WSC
2004
15 years 7 months ago
2004
This paper develops a variant of Simulated Annealing (SA) algorithm for solving discrete stochastic optimization problems where the objective function is stochastic and can be eva...
155
click to vote
IWFM
1998
15 years 7 months ago
1998
Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension ( ), restriction ( ), removal ...
155
click to vote
ADCM
1999
15 years 5 months ago
1999
: Given f and rf at the vertices of a rectangular mesh, we build an interpolating function f by a subdivision algorithm. The construction on each elementary rectangle is independen...
176
click to vote
APLAS
2011
ACM
14 years 6 months ago
2011
ACM
Verification of programs with procedures, multi-threaded programs, and higher-order functional programs can be effectively auusing abstraction and refinement schemes that rely o...
134
click to vote
CVPR
2003
IEEE
16 years 8 months ago
2003
IEEE
This article describes visual functions dedicated to the extraction and recognition of planar quadrangles detected from a single camera. Extraction is based on a relaxation scheme...