971 search results - page 75 / 195 » Approximate Satisfiability and Equivalence |
107
Voted
SOFSEM
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. The realisation of electronic commerce process is very difficult without appropriate system for electronic payment. Of course it is possible to use some of the convention...
102
click to vote
FORMATS
2009
Springer
15 years 4 months ago
2009
Springer
Abstract In this paper we focus on property-preserving preorders between timed game automata and their application to control of partially observable systems. We define timed weak ...
95
Voted
ERSHOV
2006
Springer
15 years 4 months ago
2006
Springer
In this work, we present a semantic query optimization technique to improve the efficiency of the evaluation of a subset of SQL:1999 recursive queries. Using datalog notation, we c...
109
click to vote
TYPES
2000
Springer
15 years 4 months ago
2000
Springer
We describe a construction of the real numbers carried out in the Coq proof assistant. The basis is a set of axioms for the constructive real numbers as used in the FTA (Fundamenta...
105
Voted
ACL
1993
15 years 2 months ago
1993
Various feature descriptions are being employed in constrained-based grammar formalisms. The common notational primitive of these descriptions are functional attributes called fea...