5550 search results - page 111 / 1110 » Different Approaches to Proof Systems |
154
click to vote
GCC
2004
Springer
15 years 11 months ago
2004
Springer
Defining the ways for components around the world to collaborate with each other to execute applications over the internet is one of the biggest challenges for computer scientists...
172
click to vote
PERCOM
2008
ACM
15 years 6 months ago
2008
ACM
RFID technology shall increase security, e.g. by helping to prevent counterfeiting. But the technology also causes privacy issues. In this paper, after highlighting goals and prob...
181
click to vote
FPT
2005
IEEE
16 years 3 hour ago
2005
IEEE
Designing Systems on-Chip is becoming increasingly popular as die sizes increase and technology sizes decrease. The complexity of integrating different types of Processing Element...
146
click to vote
ECAI
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we describe an approach for integrating abduction and induction in the ILP setting of learning from interpretations with the aim of solving the problem of incomplete...
186
click to vote
ICML
1995
IEEE
16 years 7 months ago
1995
IEEE
This paper describes an approach to automatically learn planning operators by observing expert solution traces and to further refine the operators through practice in a learning-b...