254 search results - page 46 / 51 » Linear Arithmetic with Stars |
PEPM
2000
ACM
13 years 11 months ago
2000
ACM
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
TACAS
2000
Springer
13 years 11 months ago
2000
Springer
Salsa is an invariant checker for speci cations in SAL the SCR Abstract Language. To establish a formula as an invariant without any user guidance Salsa carries out an induction pr...
DCC
1995
IEEE
13 years 11 months ago
1995
IEEE
Compression with Reversible Embedded Wavelets (CREW) is a uni ed lossless and lossy continuous-tone still image compression system. It is wavelet-based using a \reversible" a...
IJCAI
2007
13 years 9 months ago
2007
Compiling Bayesian networks (BNs) is one of the hot topics in the area of probabilistic modeling and processing. In this paper, we propose a new method of compiling BNs into multi...
INTERACT
2007
13 years 9 months ago
2007
User interruptability has become an important topic of study in Human-Computer Interaction (HCI). However, automatically determining the availability of users is still problematic....