Sciweavers

8067 search results - page 142 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
AIMSA
2008
Springer
15 years 9 months ago
Nested Precedence Networks with Alternatives: Recognition, Tractability, and Models
Integrated modeling of temporal and logical constraints is important for solving real-life planning and scheduling problems. Logical constrains extend the temporal formalism by rea...
Roman Barták, Ondrej Cepek
116
Voted
FMICS
2007
Springer
15 years 7 months ago
Model Classifications and Automated Verification
Due to the significant progress in automated verification, there are often several techniques for a particular verification problem. In many circumstances different techniques are ...
Radek Pelánek
CEC
2009
IEEE
15 years 8 months ago
A novel EDAs based method for HP model protein folding
— The protein structure prediction (PSP) problem is one of the most important problems in computational biology. This paper proposes a novel Estimation of Distribution Algorithms...
Benhui Chen, Long Li, Jinglu Hu
134
Voted
IJRR
2010
102views more  IJRR 2010»
14 years 10 months ago
Modeling and Calibration of Inertial and Vision Sensors
This paper is concerned with the problem of estimating the relative translation and orientation of an inertial measurement unit and a camera, which are rigidly connected. The key ...
Jeroen D. Hol, Thomas B. Schön, Fredrik Gusta...
CVPR
2007
IEEE
16 years 5 months ago
Generic Face Alignment using Boosted Appearance Model
This paper proposes a discriminative framework for efficiently aligning images. Although conventional Active Appearance Models (AAM)-based approaches have achieved some success, t...
Xiaoming Liu 0002