2302 search results - page 456 / 461 » Testing as Abstraction |
115
click to vote
ICTAI
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
134
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--The increasing availability of multi-core and multiprocessor architectures provides new opportunities for improving the performance of many computer simulations. Markov C...
120
click to vote
PIMRC
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--In wireless ad hoc networks, multiple access interference is the limiting factor for the overall system performance. The lack of any central control unit necessitates a c...
107
click to vote
CORR
2009
Springer
14 years 9 months ago
2009
Springer
We equip choreography-level session descriptions with a simple abstraction of a security infrastructure. Message components may be enclosed within (possibly nested) "boxes&quo...
110
click to vote
ICMLA
2009
14 years 9 months ago
2009
Abstract--We investigate parameter-based and distributionbased approaches to regularizing the generative, similarity-based classifier called local similarity discriminant analysis ...