4814 search results - page 105 / 963 » Combining abstract interpreters |
156
click to vote
APLAS
2006
ACM
15 years 9 months ago
2006
ACM
Abstract. Fast dynamic compilers trade code quality for short compilation time in order to balance application performance and startup time. This paper investigates the interplay o...
178
click to vote
FMSB
2008
15 years 7 months ago
2008
Abstract. This paper reports on the multi-scale modelling of an intestinal crypt cellular structure coupled with Wnt signalling. Using formal modelling techniques based on the stoc...
141
click to vote
TIT
2008
15 years 5 months ago
2008
Abstract--In this paper, the Lagrangian formulation of variablerate vector quantization is extended to quantization with simultaneous constraints on entropy and codebook size, incl...
151
click to vote
SIGKDD
2002
15 years 5 months ago
2002
In order to solve task 2 of the KDD Cup 2002, we exploited various available information sources. In particular, use of relational information describing the interactions among ge...
131
click to vote
CSL
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],