Sciweavers

2451 search results - page 428 / 491
» The Octagon Abstract Domain
Sort
View
MOC
2011
14 years 7 months 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
173
Voted
TII
2011
206views Education» more  TII 2011»
14 years 7 months 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...
110
Voted
IJWET
2010
86views more  IJWET 2010»
14 years 7 months 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»
14 years 7 months 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
126
Voted
JMLR
2010
143views more  JMLR 2010»
14 years 7 months 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