Sciweavers

9067 search results - page 388 / 1814
» Adaptive Model Checking
Sort
View
143
Voted
ICCAD
2000
IEEE
55views Hardware» more  ICCAD 2000»
15 years 12 months ago
Verification of Delta-Sigma Converters Using Adaptive Regression Modeling
Jeongjin Roh, Suresh Seshadri, Jacob A. Abraham
AMDO
2000
Springer
15 years 11 months ago
Model Adaptation and Posture Estimation of Moving Articulated Object Using Monocular Camera
This paper presents a method of estimating both 3-D shapes and moving poses of an articulated object from a monocular image sequence. Instead of using direct depth data, prior loo...
Nobutaka Shimada, Yoshiaki Shirai, Yoshinori Kuno
ECOOPWEXCEPTION
2000
Springer
15 years 11 months ago
Adapting C++ Exception Handling to an Extended COM Exception Model
Bjørn Egil Hansen, Henrik Fredholm
163
Voted
ICMCS
1999
IEEE
80views Multimedia» more  ICMCS 1999»
15 years 11 months ago
Package-Segment Model for Movie Retrieval System and Adaptable Applications
Takayuki Kunieda, Yuki Wakita
156
Voted
ICRA
1999
IEEE
118views Robotics» more  ICRA 1999»
15 years 11 months ago
Adaptive Control of Time-Varying Mechanical Systems: Modeling, Controller Design and Experiments
Prabhakar R. Pagilla, Kiu Ling Pau, Biao Yu