Sciweavers

30267 search results - page 386 / 6054
» Process Modelling Languages
Sort
View
MODELS
2009
Springer
16 years 1 months ago
Evaluating Context Descriptions and Property Definition Patterns for Software Formal Validation
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
Philippe Dhaussy, Pierre Yves Pillain, Stephen Cre...
ICSE
1993
IEEE-ACM
15 years 11 months ago
A Comprehensive Process Model for Studying Software Process Papers
E cient and e ective studying of scienti c papers is an important part of software engineering education. Moreover, it contributes to the knowledge necessary to carry out software...
Rudolf K. Keller, Richard Lajoie, Nazim H. Madhavj...
ACL
2006
15 years 8 months ago
An Unsupervised Morpheme-Based HMM for Hebrew Morphological Disambiguation
Morphological disambiguation is the process of assigning one set of morphological features to each individual word in a text. When the word is ambiguous (there are several possibl...
Meni Adler, Michael Elhadad
ASSETS
2007
ACM
15 years 10 months ago
Corpus studies in word prediction
Word prediction can be used to enhance the communication rate of people with disabilities who use Augmentative and Alternative Communication (AAC) devices. We use statistical meth...
Keith Trnka, Kathleen F. McCoy
IJCNLP
2005
Springer
16 years 10 days ago
A Machine Learning Approach to Sentence Ordering for Multidocument Summarization and Its Evaluation
Ordering information is a difficult but a important task for natural language generation applications. A wrong order of information not only makes it difficult to understand, but a...
Danushka Bollegala, Naoaki Okazaki, Mitsuru Ishizu...