758 search results - page 101 / 152 » Pattern-Constrained Test Case Generation |
APN
2005
Springer
14 years 4 months ago
2005
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, give...
ICIAR
2005
Springer
14 years 4 months ago
2005
Springer
A method for color indexing is proposed that is based upon nonparametric statistical techniques. Nonparametrics compare the ordinal rankings of sample populations, and maintain the...
APN
2006
Springer
14 years 2 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
ACL
2007
14 years 14 days ago
2007
While the average performance of statistical parsers gradually improves, they still attach to many sentences annotations of rather low quality. The number of such sentences grows ...
ICML
2010
IEEE
14 years 2 days ago
2010
IEEE
The problem of clustering is considered, for the case when each data point is a sample generated by a stationary ergodic process. We propose a very natural asymptotic notion of co...