Sciweavers

14244 search results - page 356 / 2849
» Modeling Program Predictability
Sort
View
JAIR
2012
211views Hardware» more  JAIR 2012»
13 years 6 months ago
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
Joohyung Lee, Ravi Palla

Publication
404views
16 years 24 days ago
Bayesian variable order Markov models.
We present a simple, effective generalisation of variable order Markov models to full online Bayesian estimation. The mechanism used is close to that employed in context tree wei...
Christos Dimitrakakis
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
ICCS
2007
Springer
15 years 10 months ago
Data Assimilation in Multiscale Chemical Transport Models
In this paper we discuss variational data assimilation using the STEM atmospheric Chemical Transport Model. STEM is a multiscale model and can perform air quality simulations and p...
Lin Zhang, Adrian Sandu
WSC
2007
15 years 6 months ago
A discrete event model of clinical trial enrollment at Eli Lilly and company
Clinical trials constitute large, complex, and resource intensive activities for pharmaceutical companies. Accurate prediction of patient enrollment would represent a major step f...
Bernard M. McGarvey, Nancy J. Dynes, Burch C. Lin,...