816 search results - page 12 / 164 » SAT-Based Image Computation with Application in Reachability... |
118
click to vote
AINA
2009
IEEE
15 years 3 months ago
2009
IEEE
Scientific applications like neuroscience data analysis are usually compute and data-intensive. With the use of the additional capacity offered by distributed resources and suitab...
103
click to vote
ICCV
2003
IEEE
16 years 1 months ago
2003
IEEE
See www.research.microsoft.com/jojic/epitome.htm for videos, comparisons and applications. We present novel simple appearance and shape models that we call epitomes. The epitome o...
APN
2010
Springer
14 years 12 months ago
2010
Springer
Pure names are identifiers with no relation between them, except equality and inequality. In previous works we have extended P/T nets with the capability of creating and managing p...
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
The Discrete Pulse Transform (DPT), a well known method for the analysis of signals, was recently extended to images. Here we propose an efficient algorithm generating DPT on a g...
109
click to vote
IWSAS
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Certain problems in which the environment is not well constrained do not lend themselves to a conventional open loop solution. Image understanding is such a problem domai...