1174 search results - page 71 / 235 » Derivation of Characteristic Formulae |
131
click to vote
HYBRID
2009
Springer
15 years 11 months ago
2009
Springer
We show that regarding finite automata (FA) as discrete, time-invariant linear systems over semimodules, allows to: (1) express FA minimization and FA determinization as particula...
124
click to vote
PKDD
2009
Springer
15 years 10 months ago
2009
Springer
This article contributes a generic model of topic models. To define the problem space, general characteristics for this class of models are derived, which give rise to a represent...
118
click to vote
SNPD
2003
15 years 5 months ago
2003
We present our experience in automatically deriving a detailed test case plan exclusively using the UML diagrams developed during the analysis and design phases. We consider in pa...
107
click to vote
WSC
1998
15 years 5 months ago
1998
This paper focuses on the practical value of using and selecting rail simulation models to find real solutions to real problems in constrained traffic corridors. It discusses issu...
204
click to vote
CC
2010
Springer
14 years 10 months ago
2010
Springer
We show a general reduction that derives lower bounds on degrees of polynomial calculus proofs of tautologies over any field of characteristic other than 2 from lower bounds for r...