6355 search results - page 1039 / 1271 » From Logic to Games |
190
click to vote
STORAGESS
2005
ACM
16 years 6 days ago
2005
ACM
Data integrity is a fundamental aspect of storage security and reliability. With the advent of network storage and new technology trends that result in new failure modes for stora...
171
click to vote
ECML
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Learning from multi-relational domains has gained increasing attention over the past few years. Inductive logic programming (ILP) systems, which often rely on hill-climbi...
176
click to vote
SEMWEB
2005
Springer
16 years 3 days ago
2005
Springer
This paper addresses a major weakness of current technologies for the Semantic Web, namely the lack of a principled means to represent and reason about uncertainty. This not only h...
183
click to vote
ECAI
2004
Springer
16 years 1 days ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
188
click to vote
ECOOP
2004
Springer
16 years 1 days ago
2004
Springer
Design patterns are a standard means to create large software systems. However, with standard object-oriented techniques, typical implementations of such patterns are not themselv...