2911 search results - page 386 / 583 » A Theory of Expressiveness in Mechanisms |
106
click to vote
CAISE
2004
Springer
15 years 7 months ago
2004
Springer
UML class diagrams can be used as a language for expressing a conceptual model of a domain. In a series of papers [1,2,3] we have been using the General Ontological Language (GOL) ...
125
click to vote
CPM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Phylogenetics is a science of determining connections between groups of organisms in terms of ancestor/descendent relationships, usually expressed by phylogenetic trees, ...
122
Voted
IBERAMIA
2004
Springer
15 years 7 months ago
2004
Springer
The theory of multi-adjoint logic programs has been introduced as a unifying framework to deal with uncertainty, imprecise data or incomplete information. From the applicative part...
122
Voted
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
110
Voted
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...