Sciweavers

3259 search results - page 156 / 652
» Modeling Autonomous-System Relationships
Sort
View
115
Voted
ICIP
2007
IEEE
15 years 10 months 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
116
Voted
DIS
2007
Springer
15 years 9 months 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
131
Voted
ESOP
2005
Springer
15 years 9 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
110
Voted
GECCO
2005
Springer
155views Optimization» more  GECCO 2005»
15 years 9 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
110
Voted
RE
2005
Springer
15 years 9 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...