1713 search results - page 100 / 343 » Analysis of Procedure Splitability |
CAV
2009
Springer
14 years 11 months ago
2009
Springer
The SPEED project addresses the problem of computing symbolic computational complexity bounds of procedures in terms of their inputs. We discuss some of the challenges that arise a...
VMCAI
2010
Springer
14 years 5 months ago
2010
Springer
This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For inst...
CAIP
2001
Springer
14 years 2 months ago
2001
Springer
In this paper, using hypergraph theory, we introduce an image model called Adaptive Image Neighborhood Hypergraph (AINH). From this model we propose a combinatorial definition of ...
CAIP
2001
Springer
14 years 2 months ago
2001
Springer
Log-polar imaging is an important topic in space-variant active vision, and facilitates some visual tasks. Translation estimation, though essential for active tracking, is more di...
ENGL
2007
13 years 10 months ago
2007
— The tolerance design directly influences the functionality of products and production costs. Tolerance synthesis is a procedure that distributes assembly tolerances between com...