5451 search results - page 122 / 1091 » Typed Operational Semantics |
105
Voted
CIE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
112
Voted
MLQ
2008
15 years 3 months ago
2008
We study, from a classical point of view, how the truth of a statement about higher type functionals depends on the underlying model. The models considered are the classical set-t...
134
Voted
AI
2007
Springer
15 years 3 months ago
2007
Springer
In many decision making problems, a number of independent attributes or criteria are often used to individually rate an alternative from an agent’s local perspective and then th...
136
Voted
DATESO
2007
15 years 5 months ago
2007
We address a problem of updating XML documents having their XML schema described by a Document Type Definition (DTD) without breaking their validity. We present a way how to expre...
105
Voted
AMCS
2007
15 years 3 months ago
2007
We study a new Hermite type interpolating operator arising in a semi-lagrangian scheme for solving the Vlasov equation. Numerical results on uniform and adaptive grid are shown and...