6020 search results - page 1203 / 1204 » A New Approach to Model Counting |
110
click to vote
IDA
2011
Springer
14 years 4 months ago
2011
Springer
Ubiquitous Knowledge Discovery is a new research area at the intersection of machine learning and data mining with mobile and distributed systems. In this paper the main character...
TIM
2011
14 years 4 months ago
2011
—Estimating latency between the hosts in the Internet can play a significant role in the improvement of the performance of many services that use latency among hosts to make rout...
113
click to vote
BMCBI
2011
14 years 1 months ago
2011
Background: The ability to search for and precisely compare similar phenotypic appearances within and across species has vast potential in plant science and genetic research. The ...
115
click to vote
IPMI
2011
Springer
14 years 28 days ago
2011
Springer
Abstract. Brain matching is an important problem in neuroimaging studies. Current surface-based methods for cortex matching and atlasing, although quite accurate, can require long ...
APVIS
2011
13 years 9 months ago
2011
Robust analysis of vector fields has been established as an important tool for deriving insights from the complex systems these fields model. Many analysis techniques rely on co...