4126 search results - page 74 / 826 » Relationships with other Formalisms |
170
click to vote
ICMLA
2009
15 years 3 months ago
2009
In sequential decision making under uncertainty, as in many other modeling endeavors, researchers observe a dynamical system and collect data measuring its behavior over time. The...
157
click to vote
APCCM
2008
15 years 7 months ago
2008
This paper introduces a Conceptual Data Model for Data Warehouse including multidimensional aggregation. It is based on Entity-Relationships data model. The conceptual data model ...
161
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...
162
click to vote
ICFCA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Among many other knowledge representations formalisms, Ontologies and Formal Concept Analysis (FCA) aim at modeling ‘concepts’. We discuss how these two formalisms ma...
162
click to vote
FORTEST
2008
15 years 7 months ago
2008
This paper describes an approach to the formalization of existing criteria used in computer systems software testing and proposes a new Reinforced Condition/Decision Coverage (RC/D...