Sciweavers

1431 search results - page 137 / 287
» Solving Constraints in Model Transformations
Sort
View
109
Voted
AUTOMATICA
2006
87views more  AUTOMATICA 2006»
15 years 26 days ago
Modeling continuous-time processes via input-to-state filters
A direct algorithm to estimate continuous-time ARMA (CARMA) models is proposed in this paper. In this approach, we first pass the observed data through an input-to-state filter an...
Kaushik Mahata, Minyue Fu
108
Voted
ICPR
2000
IEEE
16 years 1 months ago
Fast and Accurate Motion Estimation Using Orientation Tensors and Parametric Motion Models
Motion estimation in image sequences is an important step in many computer vision and image processing applications. Several methods for solving this problem have been proposed, b...
Gunnar Farnebäck
105
Voted
DATE
2009
IEEE
147views Hardware» more  DATE 2009»
15 years 7 months ago
Decoupling capacitor planning with analytical delay model on RLC power grid
— Decoupling capacitors (decaps) are typically used to reduce the noise in the power supply network. Because the delay of gates and interconnects is affected by the supply voltag...
Ye Tao, Sung Kyu Lim
ATVA
2008
Springer
87views Hardware» more  ATVA 2008»
15 years 2 months ago
Goanna: Syntactic Software Model Checking
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
Ralf Huuck, Ansgar Fehnker, Sean Seefried, Jö...
112
Voted
IROS
2006
IEEE
217views Robotics» more  IROS 2006»
15 years 6 months ago
Active SLAM using Model Predictive Control and Attractor based Exploration
– Active SLAM poses the challenge for an autonomous robot to plan efficient paths simultaneous to the SLAM process. The uncertainties of the robot, map and sensor measurements, a...
Cindy Leung, Shoudong Huang, Gamini Dissanayake