1058 search results - page 83 / 212 » Fault-Tolerant Resource Reasoning |
97
Voted
NDT
2010
14 years 7 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 ...
87
Voted
CADE
2001
Springer
16 years 1 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...
114
Voted
LPAR
2001
Springer
15 years 5 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...
83
Voted
LACL
1998
Springer
15 years 4 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...
128
Voted
ILP
2007
Springer
15 years 6 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...