466 search results - page 13 / 94 » Representation and Computation of Boolean Combinations of Sc... |
BMCBI
2011
13 years 3 months ago
2011
Background: Automated, image based high-content screening is a fundamental tool for discovery in biological science. Modern robotic fluorescence microscopes are able to capture th...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Cultural heritage documentation induces the use of computerized techniques to manage and preserve the information produced. Geographical information systems have proved their pote...
3DPVT
2004
IEEE
14 years 10 days ago
2004
IEEE
Interactive 3D modeling is the process of building a 3D model of an object or a scene in real-time while the 3D (range) data is acquired. This is possible only if the computationa...
CVPR
2008
IEEE
14 years 10 months ago
2008
IEEE
We propose a hybrid body representation that represents each typical pose by both template-like view information and part-based structural information. Specifically, each body par...
ATVA
2006
Springer
14 years 10 days ago
2006
Springer
We address the problem of model checking hybrid systems which exhibit nontrivial discrete behavior and thus cannot be treated by considering the discrete states one by one, as most...