1693 search results - page 67 / 339 » Pattern-Recognition: a Foundational Approach |
125
click to vote
DIAGRAMS
2000
Springer
15 years 8 months ago
2000
Springer
The goal of the paper is to explicate some common formal logic underlying various notational systems used in visual modeling. The idea is to treat the notational diversity as the d...
146
click to vote
WOODPECKER
2001
15 years 5 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
121
click to vote
COOPIS
2004
IEEE
15 years 8 months ago
2004
IEEE
1 Although ontology has gained wide attention in the area of information systems, a criticism typical of the early days is still rehearsed here and there. Roughly, this criticism s...
117
click to vote
CL
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. A new equational foundation is presented for the Fluent Calculus, an established predicate calculus formalism for reasoning about actions. We discuss limitations of the e...
135
click to vote
JOEUC
2010
14 years 11 months ago
2010
, The first decade of the World Wide Web predominantly enforced a clear separation between designers and consumers. New technological developments, such as the cyberinfrastructure ...