Sciweavers

16606 search results - page 170 / 3322
» Context Modeling: Task Model and Practice Model
Sort
View
JEI
2008
100views more  JEI 2008»
15 years 6 months ago
Context adaptive image denoising through modeling of curvelet domain statistics
We perform a statistical analysis of curvelet coefficients, distinguishing between two classes of coefficients: those that contain a significant noise-free component, which we call...
Linda Tessens, Aleksandra Pizurica, Alin Alecu, Ad...
ACL
2006
15 years 8 months ago
Scalable Inference and Training of Context-Rich Syntactic Translation Models
Statistical MT has made great progress in the last few years, but current translation models are weak on re-ordering and target language fluency. Syntactic approaches seek to reme...
Michel Galley, Jonathan Graehl, Kevin Knight, Dani...
ERSHOV
2009
Springer
16 years 1 months ago
Symbolic Bounded Conformance Checking of Model Programs
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
Margus Veanes, Nikolaj Bjørner
EDOC
2007
IEEE
16 years 1 months ago
Getting Rid of the OR-Join in Business Process Models
Abstract— In practice, the development of process-aware information systems suffers from a gap between conceptual business process models and executable workflow specifications...
Jan Mendling, Boudewijn F. van Dongen, Wil M. P. v...
SIGSAND
2008
15 years 8 months ago
Advanced Reduction Rules for the Verification of EPC Business Process Models
: Conceptual business process models such as Event-driven Process Chains (EPCs) play an important role in the business process management life cycle. The problem in this context is...
Jan Mendling, Wil M. P. van der Aalst