4903 search results - page 149 / 981 » The Set Covering Machine |
BMCBI
2007
13 years 9 months ago
2007
Background: A nanopore detector has a nanometer-scale trans-membrane channel across which a potential difference is established, resulting in an ionic current through the channel ...
CASES
2007
ACM
14 years 1 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
ICPR
2008
IEEE
14 years 3 months ago
2008
IEEE
In this article, we propose a steganalysis method for detecting the presence of information-hiding behavior in wav audios. We extract the neighboring joint distribution features a...
ICMAS
1998
13 years 10 months ago
1998
The success of agent-oriented concepts in various application domains, in particular in manufacturing control, creates the need for an agent-oriented analysis, design, and program...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...