Sciweavers

386 search results - page 45 / 78
» ideas 2000
Sort
View
CVPR
2000
IEEE
14 years 3 days ago
Multiscale Combination of Physically-Based Registration and Deformation Modeling
1 In this paper we present a novel multiscale approach to recovery of nonrigid motion from sequences of registered intensity and range images. The main idea of our approach is that...
Leonid V. Tsap, Dmitry B. Goldgof, Sudeep Sarkar
DSN
2000
IEEE
14 years 3 days ago
Resource Scheduling in Dependable Integrated Modular Avionics
In the recent development of avionics systems, Integrated Modular Avionics (IMA) is advocated for next generation architecture that needs integration of mixedcriticality real-time...
Yann-Hang Lee, Daeyoung Kim, Mohamed F. Younis, Je...
HICSS
2000
IEEE
139views Biometrics» more  HICSS 2000»
14 years 3 days ago
Air Cargo Transport by Multi-Agent based Planning
Most major airlines decide to take new strategies for the competition in the air cargo industry. They are concerned with assigning cargo over flights in creative ways. This paper ...
Keqiang Zhu, M. W. Ludema, Rob E. C. M. van der He...
ICC
2000
IEEE
14 years 3 days ago
Reduced-State BCJR-Type Algorithms
—In this paper, we propose a technique to reduce the number of trellis states in BCJR-type algorithms, i.e., algorithms with a structure similar to that of the well-known algorit...
Giulio Colavolpe, Gian Luigi Ferrari, Riccardo Rah...
ICCD
2000
IEEE
120views Hardware» more  ICCD 2000»
14 years 3 days ago
Equivalence Checking Combining a Structural SAT-Solver, BDDs, and Simulation
This paper presents a verification technique for functional comparison of large combinational circuits using a novel combination of known approaches. The idea is based on a tight...
Viresh Paruthi, Andreas Kuehlmann