3533 search results - page 385 / 707 » Information theory and Thermodynamics |
211
click to vote
LFCS
2007
Springer
16 years 1 months ago
2007
Springer
We introduce a natural deduction formulation for the Logic of Proofs, a refinement of modal logic S4 in which the assertion PA is replaced by [[s]]A whose intended reading is “s...
176
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
In this paper we describe RDFSync, a methodology for efficient synchronization and merging of RDF models. RDFSync is based on decomposing a model into Minimum Self-Contained graphs...
365
click to vote
UIC
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents an activity recognition approach based on the tracking of a specific human actor’s current object manipulation actions, complemented by two kinds of situation...
219
click to vote
ICAS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper is concerned with the problem of intrinsically assigning meaning to the signals responsible for autonomic responses in a system. Without an associated cognitive system,...
244
click to vote
ICMCS
2006
IEEE
16 years 1 months ago
2006
IEEE
To bridge the gap between high level semantic concepts and low level visual features in content-based image retrieval (CBIR), online feature selection is really required. An effec...