1306 search results - page 145 / 262 » A Diagrammatic Approach to Model Completion |
FATES
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Classical state-oriented testing approaches are based on simple machine models such as Labelled Transition Systems (LTSs), in which data is represented by concrete values...
WSC
2008
15 years 3 months ago
2008
A dynamic simulation-based crashing method is introduced in this research to evaluate project networks and determine the optimum crashing configuration that minimizes the average ...
93
Voted
ESANN
2007
15 years 2 months ago
2007
In this work, we present a new model for a Recurrent Support Vector Machine. We call it intrinsic because the complete recurrence is directly incorporated within the considered opt...
121
Voted
DLOG
2003
15 years 2 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
100
click to vote
ENTCS
2010
15 years 26 days ago
2010
Rules that are admissible can be used in any derivations in any axiomatic system of a logic. In this paper we introduce a method for checking the admissibility of rules in the mod...