2509 search results - page 114 / 502 » Abstract Geometrical Computation and Computable Analysis |
142
click to vote
EMMCVPR
2001
Springer
15 years 5 months ago
2001
Springer
A number of geometric active contour and surface models have been proposed for shape segmentation in the literature. The essential idea is to evolve a curve (in 2D) or a surface (i...
121
Voted
ICAC
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— The increasing computing and communication capabilities of multi-function devices (MFDs) have enabled networks of such devices to provide value-added services. This has...
132
Voted
EMSOFT
2009
Springer
15 years 7 months ago
2009
Springer
This paper advocates a strict compositional and hybrid approach for obtaining key (performance) metrics of embedded At its core the developed methodology abstracts system componen...
114
click to vote
PRDC
2007
IEEE
15 years 7 months ago
2007
IEEE
Consensus is one of the most fundamental problems in fault-tolerant distributed computing. This paper proposes a mechanical method for analyzing the condition that allows one to s...
96
Voted
CONCUR
2005
Springer
15 years 6 months ago
2005
Springer
Usually, ranking function synthesis and invariant generation oop with integer variables involves abstracting the loop to have real variables. Integer division and modulo arithmetic...