2911 search results - page 477 / 583 » A Theory of Expressiveness in Mechanisms |
106
click to vote
BIBE
2001
IEEE
15 years 1 months ago
2001
IEEE
Effective analysis of genome sequences and associated functional data requires access to many different kinds of biological information. For example, when analysing gene expressio...
IDMS
2000
Springer
15 years 1 months ago
2000
Springer
The requirements for the QoS of distributed applications are traditionally expressed in terms of network oriented or systems oriented parameters. In general, the users of these ser...
102
click to vote
MA
2000
Springer
15 years 1 months ago
2000
Springer
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
DLOG
2007
15 years 12 days ago
2007
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
EXACT
2008
15 years 12 days ago
2008
Abstract. Explanation and argumentation are fundamental to reasoning. They are therefore of some importance to artificial intelligence. Discourse-based reasoning (DBR) is a knowled...