3690 search results - page 241 / 738 » Computation with classical sequents |
139
click to vote
CVPR
2005
IEEE
16 years 7 months ago
2005
IEEE
This paper addresses the problem of learning and recognizing human activities of daily living (ADL), which is an important research issue in building a pervasive and smart environ...
145
click to vote
ACG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We present a new exploration term, more efficient than classical UCT-like exploration terms. It combines efficiently expert rules, patterns extracted from datasets, All-M...
151
click to vote
CVPR
2007
IEEE
15 years 11 months ago
2007
IEEE
Generative model learning is one of the key problems in machine learning and computer vision. Currently the use of generative models is limited due to the difficulty in effective...
142
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
Privacy-preserving protocols allow multiple parties with private inputs to perform joint computation while preserving the privacy of their respective inputs. An important cryptogr...
200
click to vote
AAAI
2008
15 years 6 months ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...