5550 search results - page 631 / 1110 » Different Approaches to Proof Systems |
195
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we present a brief overview of Falcon-AO (version 0.7): a practical ontology matching system with acceptable to very good performance, a flexible architecture, and ...
170
click to vote
DSN
2006
IEEE
16 years 1 months ago
2006
IEEE
Randomized agreement protocols have been around for more than two decades. Often assumed to be inefficient due to their high expected communication and time complexities, they ha...
203
click to vote
HICSS
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper addresses challenges associated with the dynamics of knowledge in clusters and regional networks. It develops a conceptual framework, a methodology and a research agend...
216
click to vote
CVPR
2010
IEEE
16 years 26 days ago
2010
IEEE
We consider the problem of recognizing human actions from still images. We propose a novel approach that treats the pose of the person in the image as latent variables that will h...
187
click to vote
CIG
2005
IEEE
16 years 25 days ago
2005
IEEE
Real-Time Strategy games present an interesting problem domain for Artificial Intelligence research. We review current approaches to developing AI systems for such games, noting th...