210 search results - page 40 / 42 » Partial model checking via abstract interpretation |
LICS
2009
IEEE
14 years 2 months ago
2009
IEEE
Game semantics describe the interactive behavior of proofs by interpreting formulas as games on which proofs induce strategies. Such a semantics is introduced here for capturing d...
ICC
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract-- Channel estimation for frequency-selective timevarying channels is considered using superimposed training. We employ a discrete prolate spheroidal basis expansion model ...
MCS
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Classifier decision fusion has been shown to act in a manner analogous to the back-projection of Radon transformations when individual classifier feature sets are non o...
ICTAI
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...