3481 search results - page 400 / 697 » A New Approach to Component Testing |
184
click to vote
SIGMOD
1994
ACM
15 years 10 months ago
1994
ACM
Spatial joins are one of the most important operations for combining spatial objects of several relations. In this paper, spatial join processing is studied in detail for extended...
186
click to vote
JCISE
2002
15 years 6 months ago
2002
The first Technical Note in this series [1] introduced the international standard ISO 10303, informally known as STEP (STandard for the Exchange of Product model data). Subsequent...
188
click to vote
SAT
2009
Springer
16 years 1 months ago
2009
Springer
Cryptography ensures the confidentiality and authenticity of information but often relies on unproven assumptions. SAT solvers are a powerful tool to test the hardness of certain ...
145
click to vote
ICMCS
2006
IEEE
16 years 19 days ago
2006
IEEE
In this paper, a new approach for automatic audio classification using non-negative matrix factorization (NMF) is presented. Training is performed onto each audio class individua...
234
Voted
CAV
2004
Springer
16 years 10 hour ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...