3591 search results - page 18 / 719 » Typing linear constraints |
DAGSTUHL
2007
13 years 12 months ago
2007
Abstract. In this paper, we consider two particular problems of directed graph matching. The ļ¬rst problem concerns graphs with nodes that have been subdivided into classes of diļ...
ICIP
2003
IEEE
15 years 10 hour ago
2003
IEEE
An efficient method for rate control is illustrated for joint source-channel rate selection and for encoding under multiple leaky bucket buffer constraints. This method shows adva...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
In a previous work, the first author extended to higher-order rewriting and dependent types the use of size annotations in types, a termination proof technique called type or size ...
CADE
2006
Springer
14 years 10 months ago
2006
Springer
Linear arithmetic decision procedures form an important part of theorem provers for program verification. In most verification benchmarks, the linear arithmetic constraints are dom...
CPP
2011
12 years 10 months ago
2011
Abstract. In this paper we present a new technique for automatically verifying typing constraints in the setting of Dminor, a ļ¬rst-order data processing language with reļ¬nement...