7213 search results - page 368 / 1443 » Automated model grouping |
179
click to vote
ICECCS
2006
IEEE
16 years 26 days ago
2006
IEEE
This paper formalizes the notion of a design model structurally conforming to a design pattern by representing the model as a logic program whilst the pattern as a query. The conf...
198
click to vote
QEST
2005
IEEE
16 years 12 days ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
168
click to vote
RWEB
2005
Springer
16 years 9 days ago
2005
Springer
In this paper we address several issues of rule modeling on the basis of UML. We discuss the relationship between UML class models and OWL vocabularies. We show how certain rules c...
189
click to vote
ICDAR
1997
IEEE
15 years 11 months ago
1997
IEEE
In this paper we present and discuss a novel approach to modeling logical structures of documents, based on a statistical representation of patterns in a document class. An effic...
168
click to vote
IEAAIE
2000
Springer
15 years 10 months ago
2000
Springer
In this paper we study how the framework of Petri nets can be extended and applied to study recurrent events. We use possibility theory to realistically model temporal properties o...