6018 search results - page 238 / 1204 » Factored Translation Models |
168
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
142
click to vote
TOSEM
2002
15 years 5 months ago
2002
Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful en...
140
click to vote
FORMATS
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
150
click to vote
AH
2006
Springer
15 years 12 months ago
2006
Springer
The growth of available personalization services and the heterogeneity in content and representation of therein exploited User Models (UMs), raise a need for a mechanism allowing t...
164
click to vote
ICPR
2006
IEEE
16 years 7 months ago
2006
IEEE
In this paper we propose a novel order-recursive training algorithm for kernel-based discriminants which is computationally efficient. We integrate this method in a hybrid HMM-bas...