607 search results - page 109 / 122 » Unifying Exact Completions |
101
click to vote
TPHOL
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
ALGOSENSORS
2009
Springer
15 years 5 months ago
2009
Springer
In this paper we consider the model of communication where wireless devices can either switch their radios off to save energy (and hence, can neither send nor receive messages), o...
JCDL
2009
ACM
15 years 5 months ago
2009
ACM
Users of digital libraries usually want to know the exact author or authors of an article. But different authors may share the same names, either as full names or as initials and...
149
click to vote
AINA
2008
IEEE
15 years 5 months ago
2008
IEEE
The analysis of gene expression time series obtained from microarray experiments can be effectively exploited to understand a wide range of biological phenomena from the homeostat...
TPHOL
2007
IEEE
15 years 5 months ago
2007
IEEE
Techniques based on sums of squares appear promising as a general approach to the universal theory of reals with addition and multiplication, i.e. verifying Boolean combinations of...