3991 search results - page 264 / 799 » Bounding homogeneous models |
196
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
We consider the problem of estimating detailed 3-d structure from a single still image of an unstructured environment. Our goal is to create 3-d models which are both quantitative...
162
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: In the yeast Saccharomyces cerevisiae, interactions between galactose, Gal3p, Gal80p, and Gal4p determine the transcriptional status of the genes required for the gala...
155
click to vote
SPIN
2007
Springer
16 years 26 days ago
2007
Springer
Boolean programs are frequently used to model abstractions of software programs. They have the advantage that reachability properties are decidable, despite the fact that their sta...
140
click to vote
DATE
2006
IEEE
16 years 25 days ago
2006
IEEE
We consider lock-free synchronization for dynamic embedded real-time systems that are subject to resource overloads and arbitrary activity arrivals. We model activity arrival beha...
171
click to vote
ISAAC
2004
Springer
16 years 4 days ago
2004
Springer
We propose a model of computation where a Turing machine is given random access to an advice string. With random access, an advice string of exponential length becomes meaningful ...