3179 search results - page 77 / 636 » Applications of PCF Theory |
ICDT
1990
ACM
15 years 4 months 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...
100
Voted
CVPR
2004
IEEE
15 years 4 months 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...
96
Voted
WCE
2007
15 years 1 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...
103
Voted
ACTA
2010
15 years 21 days 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...
118
click to vote
CORR
2008
Springer
15 years 19 days 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...