1995 search results - page 308 / 399 » Adaptive Information Filtering using Evolutionary Computatio... |
CVPR
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents a systematic approach to acquiring model appearance information online for monocular modelbased tracking. The acquired information is used to drive a set of co...
ASPLOS
2012
ACM
12 years 3 months ago
2012
ACM
Effective resource management of virtualized environments is a challenging task. State-of-the-art management systems either rely on analytical models or evaluate resource allocati...
ISI
2008
Springer
13 years 7 months ago
2008
Springer
An Intrusion Detection Program (IDP) analyzes what happens or has happened during an execution and tries to find indications that the computer has been misused. In this talk, we p...
VLSID
2004
IEEE
14 years 8 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
DAGM
2009
Springer
13 years 8 months ago
2009
Springer
In this paper we present a framework for computing depth images at interactive rates. Our approach is based on combining time-of-flight (TOF) range data with stereo vision. We use ...