3179 search results - page 77 / 636 » Applications of PCF Theory |
ICDT
1990
ACM
14 years 26 days ago
1990
ACM
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...
CVPR
2004
IEEE
14 years 17 days ago
2004
IEEE
In conventional tomography, the interior of an object is reconstructed from tomographic projections such as X-ray or electron microscope images. All the current reconstruction met...
WCE
2007
13 years 10 months ago
2007
— Industrial plants makes a carefully trace of the human intervention on the process. This intervention happens at different points in the history of the facility, since the desi...
ACTA
2010
13 years 9 months ago
2010
We study the observational theory of Thielecke's CPS-calculus, a distillation of the target language of Continuation-Passing Style transforms. We define a labelled transition...
CORR
2008
Springer
13 years 9 months ago
2008
Springer
We develop a general game-theoretic framework for reasoning about strategic agents performing possibly costly computation. In this framework, many traditional game-theoretic resul...