Sciweavers

456 search results - page 29 / 92
» Assessing the Significance of Sets of Words
Sort
View
SIAMSC
2008
188views more  SIAMSC 2008»
14 years 9 months ago
Adaptivity with Dynamic Meshes for Space-Time Finite Element Discretizations of Parabolic Equations
In this paper, we develop an error estimator and an adaptive algorithm for efficient solution of parabolic partial differential equations. The error estimator assesses the discreti...
Michael Schmich, Boris Vexler
BPM
2009
Springer
144views Business» more  BPM 2009»
14 years 7 months ago
BPR Best Practices for the Healthcare Domain
Abstract. Healthcare providers are under pressure to work more efficiently and in a more patient-focused way. One possible way to achieve this is to launch Business Process Redesig...
Mariska Netjes, Ronny Mans, Hajo A. Reijers, Wil M...
ATVA
2006
Springer
140views Hardware» more  ATVA 2006»
15 years 1 months ago
On the Construction of Fine Automata for Safety Properties
Of special interest in formal verification are safety properties, which assert that the system always stays within some allowed region. Each safety property can be associated with...
Orna Kupferman, Robby Lampert
LREC
2008
74views Education» more  LREC 2008»
14 years 11 months ago
Tapping Huge Temporally Indexed Textual Resources with WCTAnalyze
WCTAnalyze is a tool for storing, accessing and visually analyzing huge collections of temporally indexed data. It is motivated by applications in media analysis, business intelli...
Sebastian Gottwald, Matthias Richter, Gerhard Heye...
ANNPR
2008
Springer
14 years 11 months ago
Supervised Incremental Learning with the Fuzzy ARTMAP Neural Network
Abstract. Automatic pattern classifiers that allow for on-line incremental learning can adapt internal class models efficiently in response to new information without retraining fr...
Jean-François Connolly, Eric Granger, Rober...