6431 search results - page 424 / 1287 » Model Building by Resolution |
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...
157
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
In this paper we present a coherent approach using the hierarchical HMM with shared structures to extract the structural units that form the building blocks of an education/traini...
184
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...
221
click to vote
SADFE
2008
IEEE
16 years 1 months ago
2008
IEEE
This research builds on our method for validating syslog entries proposed in [5]. The goal of the proposed method is to allow syslog files to be forensically viable. The goal with...
148
click to vote
IEEEIAS
2007
IEEE
16 years 1 months ago
2007
IEEE
There is a large number of research papers and standards dedicated to security for outsourced data. Yet, most papers propose new controls to access and protect the data rather tha...