1419 search results - page 168 / 284 » Notes on Formalizing Context |
152
Voted
ICIP
2007
IEEE
16 years 4 months ago
2007
IEEE
In this paper we propose a new approach of the two-image alignment problem based on a functional representation of images. This allows us to derive a one-to-several correspondence,...
226
Voted
POPL
2006
ACM
16 years 3 months ago
2006
ACM
Traditional static type systems are very effective for verifying basic interface specifications, but are somewhat limited in the kinds specificationsthey support. Dynamically-chec...
211
click to vote
POPL
2002
ACM
16 years 3 months ago
2002
ACM
It is an important criterion of program correctness that a program accesses resources in a valid manner. For example, a memory region that has been allocated should be eventually ...
110
click to vote
ICCAD
2001
IEEE
16 years 14 days ago
2001
IEEE
SPFDs are a mechanism to express flexibility in Boolean networks. Introduced by Yamashita et al. in the context of FPGA synthesis [4], they were extended later to general combina...
149
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The resource calculus is an extension of the λ-calculus allowing to model resource consumption. Namely, the argument of a function comes as a finite multiset of resourc...