Sciweavers

2451 search results - page 428 / 491
» The Octagon Abstract Domain
Sort
View
MOC
2011
15 years 15 days ago
An optimal adaptive mixed finite element method
Abstract. Various applications in uid dynamics and computational continuum mechanics motivate the development of reliable and ecient adaptive algorithms for mixed nite element m...
Carsten Carstensen, Hella Rabus
TII
2011
206views Education» more  TII 2011»
15 years 14 days ago
Timing-Failure Risk Assessment of UML Design Using Time Petri Net Bound Techniques
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
Simona Bernardi, Javier Campos, José Merseg...
IJWET
2010
86views more  IJWET 2010»
15 years 11 days ago
Semi-automatic financial events discovery based on lexico-semantic patterns
: Due to the market sensitivity to emerging news, investors on financial markets need to continuously monitor financial events when deciding on buying and selling equities. We prop...
Jethro Borsje, Frederik Hogenboom, Flavius Frasinc...
JCAL
2010
93views more  JCAL 2010»
15 years 10 days ago
The modality effect tested in children in a user-paced multimedia environment
Abstract The modality learning effect proposes that learning is enhanced when information is presented in both the visual and the auditory domains (e.g. pictures and spoken informa...
Marijt J. Witteman, Eliane Segers
JMLR
2010
143views more  JMLR 2010»
15 years 10 days ago
Incremental Sigmoid Belief Networks for Grammar Learning
We propose a class of Bayesian networks appropriate for structured prediction problems where the Bayesian network's model structure is a function of the predicted output stru...
James Henderson, Ivan Titov