379 search results - page 41 / 76 » A Generative Approach to Change-Driven Consistency in Multi-... |
BMCBI
2008
14 years 10 months ago
2008
Background: The discovery of biomarkers is an important step towards the development of criteria for early diagnosis of disease status. Recently electrospray ionization (ESI) and ...
TOG
2008
14 years 10 months ago
2008
Our goal is to simulate the full hair geometry, consisting of approximately one hundred thousand hairs on a typical human head. This will require scalable methods that can simulat...
121
click to vote
EUROCAST
1997
Springer
15 years 2 months ago
1997
Springer
The ability to detect object size, location and movement is essential for a visual system in either a biological or man made environment. In this paper we present a model for esti...
102
click to vote
VISSYM
2004
15 years 1 days ago
2004
We present a three pass occlusion culling algorithm, which makes efficient use of hardware support. Our geo-scientific sub-surface data sets consist typically of a set of high res...
TVLSI
2008
14 years 10 months ago
2008
Abstract--We present a refinement-based compositional framework for showing that pipelined machines satisfy the same safety and liveness properties as their non-pipelined specifica...