Sciweavers

3259 search results - page 156 / 652
» Modeling Autonomous-System Relationships
Sort
View
ICIP
2007
IEEE
16 years 21 days ago
Complexity Modeling for Motion Compensation in H.264/AVC Decoder
A complexity model for motion compensation in the H.264/AVC decoder is proposed. This model considers a rich set of inter prediction modes allowed by H.264 as well as the relation...
Szu-Wei Lee, C. C. Jay Kuo
DIS
2007
Springer
16 years 17 days ago
Fast NML Computation for Naive Bayes Models
Abstract. The Minimum Description Length (MDL) is an informationtheoretic principle that can be used for model selection and other statistical inference tasks. One way to implement...
Tommi Mononen, Petri Myllymäki
ESOP
2005
Springer
15 years 12 months ago
A Type System Equivalent to a Model Checker
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
Mayur Naik, Jens Palsberg
GECCO
2005
Springer
155views Optimization» more  GECCO 2005»
15 years 12 months ago
Bayesian optimization models for particle swarms
We explore the use of information models as a guide for the development of single objective optimization algorithms, giving particular attention to the use of Bayesian models in a...
Christopher K. Monson, Kevin D. Seppi
RE
2005
Springer
15 years 12 months ago
Modelling Assumptions and Requirements in the Context of Project Risk
The importance of assumptions in Requirements Engineering has long been recognised. However, to the best of our knowledge, no quantitative models for the relation between assumpti...
Andriy V. Miranskyy, Nazim H. Madhavji, Matthew Da...