8587 search results - page 1376 / 1718 » Interactive dynamic abstraction |
145
Voted
CVPR
2006
IEEE
15 years 10 months ago
2006
IEEE
This work investigates the use of nonlinear dependencies in natural image sequence statistics to learn higher-order structures in natural videos. We propose a two-layer model that...
152
click to vote
GLOBECOM
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— A home network is a residential local area network, in which users are networking their PCs, laptops or wireless multimedia appliances to use a single residential acces...
146
click to vote
ICAC
2006
IEEE
15 years 10 months ago
2006
IEEE
— Over the past decade, wide-area distributed computing has emerged as a powerful computing paradigm. Virtual machines greatly simplify wide-area distributed computing ing the ab...
176
click to vote
ICAS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract—This paper describes and evaluates a biologically-inspired network architecture that allows grid services to autonomously adapt to dynamic environment changes in the net...
151
click to vote
ICCAD
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper addresses SAT-based Unbounded Model Checking based on Craig Interpolants. This recently introduced methodology is often able to outperform BDDs and other SAT-based tech...