5718 search results - page 815 / 1144 » Modeling Rule Precision |
322
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
Craig interpolation has become a key ingredient in many symbolic model checkers, serving as an approximative replacement for expensive quantifier elimination. In this paper, we foc...
207
click to vote
ICIP
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper we present a novel approach of face identification by formulating the pattern recognition problem in terms of linear regression. Using a fundamental concept that pat...
206
click to vote
CCR
2010
15 years 4 months ago
2010
This paper presents iNFAnt, a parallel engine for regular expression pattern matching. In contrast with traditional approaches, iNFAnt adopts non-deterministic automata, allowing ...
225
click to vote
IJACTAICIT
2010
15 years 4 months ago
2010
In this paper, a neuro-fuzzy algorithm has been implemented to improve the path planning of a mobile robot based on modification of vector field histogram (VFH) approach using neu...
208
click to vote
COMPSYSTECH
2010
15 years 4 months ago
2010
: In this paper an approach for development of univariate time series prediction library in Java and its integration with an existing CLIPS related system is presented .A backpropa...