3179 search results - page 40 / 636 » Applications of PCF Theory |
TYPES
2000
Springer
14 years 8 days ago
2000
Springer
We introduce logic-enriched intuitionistic type theories, that extend intuitionistic dependent type theories with primitive judgements to express logic. By adding type theoretic ru...
APN
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes the thriving application of Petri net theory for model validation of different types of molecular biological sys
ICAIL
2003
ACM
14 years 2 months ago
2003
ACM
Bench-Capon and Sartor have proposed that reasoning with legal cases be seen as a process of theory construction, evaluation and application. They have proposed a set of theory co...
FOCS
2005
IEEE
14 years 2 months ago
2005
IEEE
At the core of the seminal Graph Minor Theory of Robertson and Seymour is a powerful structural theorem capturing the structure of graphs excluding a fixed minor. This result is ...
ICCV
2011
IEEE
12 years 8 months ago
2011
IEEE
We present a new Coprime Blurred Pair (CBP) theory that may benefit a number of computer vision applications. A CBP is constructed by blurring the same latent image with two unkn...