3533 search results - page 385 / 707 » Information theory and Thermodynamics |
195
click to vote
LFCS
2007
Springer
16 years 26 days 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...
150
Voted
SEMWEB
2007
Springer
16 years 25 days 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...
340
click to vote
UIC
2007
Springer
16 years 25 days 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...
198
click to vote
ICAS
2006
IEEE
16 years 23 days 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,...
216
click to vote
ICMCS
2006
IEEE
16 years 23 days 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...