59 search results - page 4 / 12 » Continuous Semantics for Strong Normalization |
SIAMCO
2010
14 years 4 months ago
2010
A minimum time problem with a nonlinear smooth dynamics and a target satisfying an internal sphere condition is considered. Under the assumption that the minimum time T be continu...
GIR
2007
ACM
15 years 1 months ago
2007
ACM
Place geo-ontologies have a key role to play in the development of the geospatial-semantic web, with regard to facilitating the search for geographical information and resources. ...
107
click to vote
ACS
2011
14 years 4 months ago
2011
In previous work it was shown that there is an epireflection ψ of the category of all compact normal, joinfit frames, with skeletal maps, in the full subcategory of frames which...
CLA
2007
14 years 11 months ago
2007
Abstract. This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts develope...
PPDP
2009
Springer
15 years 2 months ago
2009
Springer
We present direct proofs of termination of evaluation for typed delimited-control operators shift and reset using a variant of Tait’s method with context-based reducibility pred...