Sciweavers

1750 search results - page 168 / 350
» Formal multiple-bernoulli models for language modeling
Sort
View
QSIC
2009
IEEE
16 years 1 months ago
From UML Statecharts to LOTOS: A Semantics Preserving Model Transformation
—A well-founded testing theory encourages the practical application of test case generation techniques. This aims at overcoming the ever increasing complexity of softwareenabled ...
Valentin Chimisliu, Christian Schwarzl, Bernhard P...
NMR
2004
Springer
15 years 11 months ago
The structural model interpretation of the NESS test
Within the law, the traditional test for attributing causal responsibility is the counterfactual “but-for” test, which asks whether the injury complained of would have occurre...
Richard A. Baldwin, Eric Neufeld
ICFCA
2004
Springer
15 years 11 months ago
FCA in Knowledge Technologies: Experiences and Opportunities
Abstract. Managing knowledge is a difficult and slippery enterprise. A wide variety of technologies have to be invoked in providing support for knowledge requirements, ranging fro...
Yannis Kalfoglou, Srinandan Dasmahapatra, Yun-Heh ...
ICSE
2004
IEEE-ACM
15 years 11 months ago
Precise Modeling of Design Patterns in UML
Prior research attempts to formalize the structure of object-oriented design patterns for a more precise specification of design patterns. It also allows automation support to be ...
Jeffrey Ka-Hing Mak, Clifford Sze-Tsan Choy, Danie...
MOZ
2004
Springer
15 years 11 months ago
Strasheela: Design and Usage of a Music Composition Environment Based on the Oz Programming Model
Strasheela provides a means for the composer to create a symbolic score by formally describing it in a rule-based way. The environment defines a rich music representation for comp...
Torsten Anders, Christina Anagnostopoulou, Michael...