3179 search results - page 181 / 636 » Applications of PCF Theory |
CAV
2012
Springer
12 years 21 days ago
2012
Springer
Abstract. We propose a trace-based concurrent program analysis to soundly remove redundant synchronizations such as locks while preserving the behaviors of the concurrent computati...
KER
2008
13 years 10 months ago
2008
Computational social choice is a new discipline currently emerging at the interface of social choice theory and computer science. It is concerned with the application of computati...
INFORMATICALT
2002
13 years 10 months ago
2002
The objective of expert systems is the use of Artificial Intelligence tools so as to solve problems within specific prefixed applications. Even when such systems are widely applied...
ILP
2003
Springer
14 years 3 months ago
2003
Springer
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
LPNMR
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...