3831 search results - page 45 / 767 » Dynamic Context Logic |
107
Voted
SIGIR
2004
ACM
15 years 6 months ago
2004
ACM
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
142
click to vote
WAC
2004
Springer
15 years 5 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...
106
Voted
ENVSOFT
2006
15 years 15 days ago
2006
A fully automated system for the identification of possible oil spills present on Synthetic Aperture Radar (SAR) satellite images based on artificial intelligence fuzzy logic has ...
96
Voted
AMAI
2007
Springer
15 years 19 days ago
2007
Springer
This paper is an overview of a variety of results, all centered around a common theme, namely embedding of non-classical logics into first order logic and resolution theorem prov...
100
Voted
JSYML
2006
15 years 14 days ago
2006
It is well known that classical propositional logic can be interpreted in intuitionistic propositional logic. In particular Glivenko's theorem states that a formula is provabl...