Sciweavers

15754 search results - page 489 / 3151
» Programs are Knowledge Bases
Sort
View
ICDT
2011
ACM
242views Database» more  ICDT 2011»
14 years 10 months ago
Knowledge compilation meets database theory: compiling queries to decision diagrams
The goal of Knowledge Compilation is to represent a Boolean expression in a format in which it can answer a range of online-queries in PTIME. The online-query of main interest to ...
Abhay Kumar Jha, Dan Suciu
ASIACRYPT
2011
Springer
14 years 7 months ago
Resettable Cryptography in Constant Rounds - The Case of Zero Knowledge
A fundamental question in cryptography deals with understanding the role that randomness plays in cryptographic protocols and to what extent it is necessary. One particular line o...
Yi Deng, Dengguo Feng, Vipul Goyal, Dongdai Lin, A...
TKDE
2012
208views Formal Methods» more  TKDE 2012»
13 years 9 months ago
A Knowledge-Driven Approach to Activity Recognition in Smart Homes
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
Liming Chen, Chris D. Nugent, Hui Wang
ICRA
2008
IEEE
128views Robotics» more  ICRA 2008»
16 years 1 months ago
Intrinsically motivated hierarchical manipulation
— We present a framework for the programming of manipulation behavior by means of an intrinsic reward function that encourages the building of deep control knowledge. We show how...
Stephen Hart, Shijaj Sen, Roderic A. Grupen
SIGKDD
2002
129views more  SIGKDD 2002»
15 years 6 months ago
Multi-Relational Data Mining: a Workshop Report
In this report, we briefly review the Multi-Relational Data Mining workshop, which was held in Edmonton, Canada on July, 23, 2002 as part of the workshop program of the 8th ACM SI...
Saso Dzeroski, Luc De Raedt