752 search results - page 97 / 151 » Finite-State Modeling, Analysis and Testing of System Vulner... |
167
click to vote
ICDAR
2009
IEEE
15 years 2 months ago
2009
IEEE
Hybrid of Neural Network (NN) and Hidden Markov Model (HMM) has been popular in word recognition, taking advantage of NN discriminative property and HMM representational capabilit...
155
click to vote
CONTEXT
2007
Springer
15 years 11 months ago
2007
Springer
In this paper we present an educational tool which has been designed to manage (learning) knowledge acquired from the interactions with the students, and to automatically aids educ...
127
click to vote
CAIP
1999
Springer
15 years 9 months ago
1999
Springer
We address the problem of control-based recovery of robot pose and the environmental lay-out. Panoramic sensors provide us with a 1D projection of characteristic features of a 2D ...
150
click to vote
ICMLA
2009
15 years 2 months ago
2009
Abstract--We investigate parameter-based and distributionbased approaches to regularizing the generative, similarity-based classifier called local similarity discriminant analysis ...
164
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...