1567 search results - page 182 / 314 » A Mechanized Model of the Theory of Objects |
122
Voted
CIBCB
2007
IEEE
15 years 8 months ago
2007
IEEE
Abstract— This paper presents a parametric model to estimate the DNA-protein binding time using the DNA and protein structures and details of the binding site. To understand the ...
101
click to vote
JMLR
2006
15 years 1 months ago
2006
Many perceptual models and theories hinge on treating objects as a collection of constituent parts. When applying these approaches to data, a fundamental problem arises: how can w...
140
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
103
click to vote
ESA
2005
Springer
15 years 7 months ago
2005
Springer
Sensor nodes are very weak computers that get distributed at random on a surface. Once deployed, they must wake up and form a radio network. Sensor network bootstrapping research t...
146
click to vote
SIGIR
2012
ACM
13 years 4 months ago
2012
ACM
We propose a mathematical framework for query selection as a mechanism for reducing the cost of constructing information retrieval test collections. In particular, our mathematica...