288 search results - page 14 / 58 » Interactive Termination Proofs Using Termination Cores |
CADE
2002
Springer
15 years 9 months ago
2002
Springer
Decision procedures for combinations of theories are at the core of many modern theorem provers such as ACL2, Ehdm, PVS, SIMPLIFY, the Stanford Pascal Verifier, STeP, SVC, and Z/Ev...
WSC
2007
14 years 11 months ago
2007
As trade among countries grows, the performance of container terminals is becoming more important than ever. In this paper, we present a 3D real-time-visualization containertermin...
TIT
2010
14 years 4 months ago
2010
This is the first part of a two-part paper on information-theoretically secure secret key agreement. In this part, we study the secrecy problem under the widely studied source mod...
ICASSP
2009
IEEE
15 years 1 months ago
2009
IEEE
We introduce a new channel, which consists of an interference channel (IC) in parallel with an interference relay channel (IRC), to analyze the interaction between two selfish and...
ICPR
2006
IEEE
15 years 10 months ago
2006
IEEE
For the analysis of learning processes and the underlying changes of the shape of excitatory synapses (spines), 3-D volume samples of selected dendritic segments are scanned by a ...