Sciweavers

23119 search results - page 75 / 4624
» From Domain to Requirements
Sort
View
TCS
2011
14 years 4 months ago
Smart PAC-learners
The PAC-learning model is distribution-independent in the sense that the learner must reach a learning goal with a limited number of labeled random examples without any prior know...
Malte Darnstädt, Hans-Ulrich Simon
B
2007
Springer
15 years 4 months ago
A Generic Flash-Based Animation Engine for ProB
Abstract. Writing a formal specification for real-life, industrial problems is a difficult and error prone task, even for experts in formal methods. In the process of specifying a...
Jens Bendisposto, Michael Leuschel
WETICE
1995
IEEE
15 years 1 months ago
An Ontology of Quality for Enterprise Modelling
Although there are many quality domains in which ideas and concepts about quality are represented, these representations are often informal. The TOVE Quality Ontology is the forma...
Henry M. Kim, Mark S. Fox, Michael Grüninger
ECTEL
2007
Springer
15 years 4 months ago
Building Domain Ontologies from Text for Educational Purposes
—This paper presents a semiautomatic framework that aims to produce domain concept maps from text and then to derive domain ontologies from these concept maps. This methodology p...
Amal Zouaq, Roger Nkambou, Claude Frasson
SIAMCO
2000
71views more  SIAMCO 2000»
14 years 9 months ago
Any Domain of Attraction for a Linear Constrained System is a Tracking Domain of Attraction
We face the problem of determining a tracking domain of attraction, say the set of initial states starting from which it is possible to track reference signals in given class, for...
Franco Blanchini, Stefano Miani