3457 search results - page 354 / 692 » A Symbol Is Not a Symbol |
167
click to vote
USS
2008
15 years 9 months ago
2008
Hypervisors have been proposed as a security tool to defend against malware that subverts the OS kernel. However, hypervisors must deal with the semantic gap between the low-level...
148
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Craig's Interpolation Theorem is an important meta-theoretical result for several logics. Here we describe a formalisation of the result for first-order intuitionistic logic w...
168
click to vote
BIBM
2008
IEEE
15 years 8 months ago
2008
IEEE
: The analysis of Biological Regulatory Network (BRN) leads to compute the set of the possible behaviours of the biological components. These behaviours are seen as trajectories an...
177
Voted
CADE
2008
Springer
15 years 8 months ago
2008
Springer
We describe the new software package Aligator for automatically inferring polynomial loop invariants. The package combines algorithms from symbolic summation and polynomial algebra...
148
click to vote
CIARP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Graphics recognition deals with the specific pattern recognition problems found in graphics-rich documents, typical technical documentation of all kinds. In this paper, w...