866 search results - page 78 / 174 » Incremental Class Testing from a Class Test Order |
120
click to vote
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Regular expressions with numerical constraints are an extension of regular expressions, allowing to bound numerically the number of times that a subexpression should be m...
111
click to vote
SEFM
2007
IEEE
15 years 9 months ago
2007
IEEE
We describe a simple and efficient algorithm for proving the termination of a class of loops with nonlinear assignments to variables. The method is based on divergence testing fo...
123
Voted
IJIT
2004
15 years 4 months ago
2004
An improved processing description to be employed in biosonar signal processing in a cochlea model is proposed and examined. It is compared to conventional models using a modified ...
120
Voted
JUCS
2010
14 years 10 months ago
2010
: We consider the uniform BSS model of computation where the machines can perform additions, multiplications, and tests of the form x 0. The oracle machines can also check whether...
135
click to vote
ADBIS
2009
Springer
15 years 7 months ago
2009
Springer
Data classification is usually based on measurements recorded at the same time. This paper considers temporal data classification where the input is a temporal database that descri...