6941 search results - page 545 / 1389 » Testing as a Certification Approach |
159
click to vote
ICMCS
2006
IEEE
16 years 1 months 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...
197
click to vote
ROBIO
2006
IEEE
16 years 1 months ago
2006
IEEE
—A moth behavior-inspired strategy, including tracing a chemical plume to its source and declaring the source location, was tested in near shore ocean conditions via a REMUS unde...
207
click to vote
IMC
2005
ACM
16 years 18 days ago
2005
ACM
In recent years, the standards community has developed techniques for traversing NAT/firewall boxes with UDP (that is, establishing UDP flows between hosts behind NATs). Because...
203
click to vote
GECCO
2005
Springer
16 years 15 days ago
2005
Springer
Generalized geometric programming (GGP) is an optimization method in which the objective function and constraints are nonconvex functions. Thus, a GGP problem includes multiple lo...
254
click to vote
CAV
2004
Springer
16 years 13 days 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...