34181 search results - page 426 / 6837 » The Computer System GRAPHOGRAPH |
146
Voted
ICCAD
2003
IEEE
16 years 25 days ago
2003
IEEE
Symbolic image computation is the most fundamental computation in BDD-based sequential system optimization and formal verification. In this paper, we explore the use of over-appr...
132
click to vote
HPDC
2007
IEEE
15 years 10 months ago
2007
IEEE
We study stochastic models to mitigate the risk of poor Quality-of-Service (QoS) in computational markets. Consumers who purchase services expect both price and performance guaran...
133
click to vote
FOCS
2006
IEEE
15 years 10 months ago
2006
IEEE
The “analyst’s traveling salesman theorem” of geometric measure theory characterizes those subsets of Euclidean space that are contained in curves of finite length. This re...
229
Voted
TAPIA
2009
ACM
15 years 8 months ago
2009
ACM
According to Computing Research Association, during each year between 2003 and 2007, fewer than 3% of the US’s Ph.D.s graduates in computer science and computer engineering were...
173
click to vote
CGF
2010
15 years 2 months ago
2010
A growing number of applications depend on accurate and fast 3D scene analysis. Examples are model and lightfield acquisition, collision prevention, mixed reality, and gesture re...