Sciweavers

9730 search results - page 365 / 1946
» Relating models of backtracking
Sort
View
AIME
2007
Springer
15 years 10 months ago
Maintaining Formal Models of Living Guidelines Efficiently
Abstract. Translating clinical guidelines into formal models is beneficial in many ways, but expensive. The progress in medical knowledge requires clinical guidelines to be updated...
Andreas Seyfang, Begoña Martínez-Sal...
ICASSP
2009
IEEE
15 years 10 months ago
Neural network based language models for highly inflective languages
Speech recognition of inflectional and morphologically rich languages like Czech is currently quite a challenging task, because simple n-gram techniques are unable to capture impo...
Tomas Mikolov, Jirí Kopecký, Lukas B...
BPM
2006
Springer
140views Business» more  BPM 2006»
15 years 10 months ago
Understanding Interdependence in Enterprise Systems: A Model and Measurement Formalism
Interdependence between the subsystems of an enterprise is one of the driving reasons for integrating the enterprise. Integration attempts to manage those interdependencies so all ...
Ronald E. Giachetti
158
Voted
ICSE
2000
IEEE-ACM
15 years 10 months ago
Graphical animation of behavior models
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jef...
168
Voted
DLOG
2007
15 years 8 months ago
Prospects for and Issues with Mapping the Object-Role Modeling language into DLRifd
Object-Role modellers miss the advantages of automated reasoning over their ORM conceptual models, which could be addressed by DL reasoners. DLs are not considered user-friendly an...
C. Maria Keet