762 search results - page 2 / 153 » How to realize |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
Abstract. We show how to extract existential witnesses from classical proofs using Krivine’s classical realizability—where classical proofs are interpreted as λ-terms with the...
ESEM
2007
ACM
13 years 11 months ago
2007
ACM
A common belief is that software designs decay as systems evolve. This research examines the extent to which software designs actually decay by studying the aging of design patter...
TLCA
2009
Springer
14 years 1 months ago
2009
Springer
Friedman showed how to turn a classical proof of a Σ0 1 formula into an intuitionistic proof of the same formula, thus giving an effective method to extract witnesses from classi...
DCG
2007
13 years 7 months ago
2007
Steinitz’s Theorem states that a graph is the 1-skeleton of a convex polyhedron if and only if it is 3-connected and planar. The polyhedron is called a geometric realization of ...
AUTOMATICA
2005
13 years 7 months ago
2005
To apply time-varying port-controlled Hamiltonian (PCH) systems to practical control designs, two basic problems should be dealt with: one is how to provide such time-varying syst...