6020 search results - page 1180 / 1204 » A New Approach to Model Counting |
103
click to vote
IJCV
2008
15 years 1 months ago
2008
We present a new data set encoding localized semantics for 1014 images and a methodology for using this kind of data for recognition evaluation. This methodology establishes protoc...
133
Voted
BMCBI
2007
15 years 1 months ago
2007
Background: Gene expression measurements during the development of the fly Drosophila melanogaster are routinely used to find functional modules of temporally co-expressed genes. ...
138
Voted
BMCBI
2007
15 years 1 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 ...
143
click to vote
KAIS
2008
15 years 1 months ago
2008
The increasing prominence of data streams arising in a wide range of advanced applications such as fraud detection and trend learning has led to the study of online mining of freq...
106
Voted
IEEESP
2007
15 years 1 months ago
2007
igh level of abstraction and to provide broad oversight. In contrast, the goal of computer science security education is to provide the technicalexpertisetodevelopsecure software a...