3954 search results - page 503 / 791 » Image-based Model Completion |
173
click to vote
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
137
click to vote
ECCV
2008
Springer
16 years 6 months ago
2008
Springer
Assumptions of brightness constancy and spatial smoothness underlie most optical flow estimation methods. In contrast to standard heuristic formulations, we learn a statistical mod...
177
click to vote
FMCAD
2006
Springer
15 years 8 months ago
2006
Springer
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
149
click to vote
WSC
1997
15 years 5 months ago
1997
FACTOR/AIM (AIM) is a simulation system designed specifically for use in manufacturing decision support. AIM has been successfully applied to engineering design, scheduling, and p...
137
click to vote
IM
2008
15 years 4 months ago
2008
In this paper we consider three models for random graphs that utilize the inner product as their fundamental object. We analyze the behavior of these models with respect to cluster...