8266 search results - page 302 / 1654 » Information About the Journal |
171
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a theory that supports commonsense, qualitative reasoning about the flow of liquid around slowly moving solid objects; specifically, inferring that liquid can ...
194
click to vote
ENTCS
2007
15 years 6 months ago
2007
In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms,...
182
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
In this paper, we propose to develop the supervised classification method Fuzzy Pattern Matching to be in addition a non supervised one. The goal is to monitor dynamic systems with...
158
click to vote
FSS
2010
15 years 4 months ago
2010
CADIAG-2 is a successful expert system assisting in the differential diagnosis in internal medicine. With its aid, conjectures about present diseases are derived from possibly vag...
176
click to vote
I3
2007
15 years 8 months ago
2007
The main objective of this work is to exploit the relationship between the information findability problem and a subject-based organization of information. Identification of a sub...