6598 search results - page 178 / 1320 » Graph Theory with Applications |
154
click to vote
CADE
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we study interpolation in local extensions of a base theory. We identify situations in which it is possible to obtain interpolants in a hierarchical manner, by using ...
310
click to vote
CHI
2011
ACM
14 years 10 months ago
2011
ACM
The field of HCI is growing, not only in the variety of application areas or the volume of research conducted, but also in the number of analytical approaches for use in the evalu...
157
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
The efficiency of three tracking reliability metrics based on information theory and normalized correlation is examined in this paper. The two information theory tools used for th...
198
click to vote
PDS
1996
15 years 7 months ago
1996
We have developed a theory of sharing which captures the behaviour of programs with respect to shared data into the framework of process algebra. The core theory can describe prog...
137
click to vote
TPHOL
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract. We present a formal treatment of normalization by evaluation in type theory. The involved semantics of simply-typed λ-calculus is exactly the simply typed fragment of th...