4502 search results - page 290 / 901 » Regular Model Checking |
149
click to vote
FSS
2006
15 years 6 months ago
2006
In this paper we propose a new nonparametric regression algorithm based on Fuzzy systems with overlapping concepts. We analyze its consistency properties, showing that it is capab...
177
click to vote
JALC
2008
15 years 6 months ago
2008
A combinatorial channel is a set of pairs of words describing all the possible input-output channel situations. We introduce the concept "maximal error-detecting capability&q...
182
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 ...
179
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents a novel research investigation on legal amount recognition of unconstrained cursive handwritten Chinese character in the environment of A2iA CheckReaderTM ? a ...
152
click to vote
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Runtime assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method preand postconditions, but mostly ignore assignabl...