4861 search results - page 386 / 973 » Parsimonious concept modeling |
157
click to vote
TABLEAUX
1998
Springer
15 years 11 months ago
1998
Springer
The FaCT (Fact and Concept Training) System provides a general platform for delivering practice in the form of discrete flashcard-like drills. The system optimizes practice schedu...
213
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...
191
click to vote
ANSS
2001
IEEE
15 years 10 months ago
2001
IEEE
In this paper, we employ the finite state machine (FSM) model for networks to investigate fault identification using passive testing. First, we introduce the concept of passive te...
165
click to vote
SAFECOMP
1998
Springer
15 years 10 months ago
1998
Springer
A method is described for the analysis and the verification of safety in software systems. The method offers a formal notation for describing the software structure, the means for ...
213
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
In this paper we propose two new unfolding semantics for general Petri nets combining the concept of prime event structures with the idea of token flows developed in [11]. In contr...