6141 search results - page 414 / 1229 » Models and representation of their ownership |
221
click to vote
ATVA
2011
Springer
14 years 6 months ago
2011
Springer
We present the Self-Loop Aggregation Product (SLAP), a new hybrid technique that replaces the synchronized product used in the automata-theoretic approach for LTL model checking. T...
175
click to vote
VIS
2004
IEEE
16 years 8 months ago
2004
IEEE
We describe a method for processing large amounts of volumetric data collected from a Knife Edge Scanning Microscope (KESM). The neuronal data that we acquire consists of thin, br...
187
click to vote
ICARCV
2008
IEEE
16 years 1 months ago
2008
IEEE
—This paper proposes a set of methods for building informative and robust feature point representations, used for accurately labeling points in a 3D point cloud, based on the typ...
196
click to vote
ICMCS
2008
IEEE
16 years 1 months ago
2008
IEEE
We address the problem of keyword spotting in continuous speech streams when training and testing conditions can be different. We propose a keyword spotting algorithm based on spa...
159
click to vote
BTW
2007
Springer
16 years 1 months ago
2007
Springer
: Information integration requires manipulating data and metadata in ways that in general go beyond a single existing transformation formalism. As a result, a complete source-to-ta...