3575 search results - page 672 / 715 » Presentations of computably enumerable reals |
135
click to vote
ECBS
1996
IEEE
15 years 4 months ago
1996
IEEE
In this paper, it is shown that, through the use of Model-Integrated Program Synthesis MIPS, parallel real-time implementations of image processing data ows can be synthesized fro...
104
click to vote
ICDCS
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract—Stream processing is widely used by today’s applications such as financial data analysis and disaster response. In distributed stream processing systems, machine fail...
109
click to vote
ICCV
2007
IEEE
15 years 3 months ago
2007
IEEE
We present a Diffusion Maps clustering method applied to diffusion MRI in order to segment complex white matter fiber bundles. It is well-known that diffusion tensor imaging (DTI)...
111
click to vote
FASE
2006
Springer
15 years 3 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...
132
click to vote
ESA
1995
Springer
15 years 3 months ago
1995
Springer
An input to the betweenness problem contains m constraints over n real variables (points). Each constraint consists of three points, where one of the points is specified to lie in...