1058 search results - page 83 / 212 » Fault-Tolerant Resource Reasoning |
NDT
2010
13 years 6 months ago
2010
Abstract. Tracking the provenance of application data is of key importance in the network environment due to the abundance of heterogeneous and controllable resources. We focus on ...
CADE
2001
Springer
14 years 11 months ago
2001
Springer
The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine...
LPAR
2001
Springer
14 years 3 months ago
2001
Springer
Logical omniscience is a well known problem which makes traditional modal logics of knowledge, belief and intentions somewhat unrealistic from the point of view of modelling the be...
LACL
1998
Springer
14 years 3 months ago
1998
Springer
In this paper, we try to put a bridge in between Categorial Grammar and Minimalist Grammars as they result from works which follow the Chomskyan enterprise (cf Stabler ([9]), Corne...
ILP
2007
Springer
14 years 5 months ago
2007
Springer
Several activities related to semantically annotated resources can be enabled by a notion of similarity, spanning from clustering to retrieval, matchmaking and other forms of induc...