3319 search results - page 20 / 664 » Type Theoretical Databases |
CIE
2005
Springer
14 years 11 months ago
2005
Springer
Abstract. We present a domain theoretic framework for obtaining exact solutions of linear boundary value problems. Based on the domain of compact real intervals, we show how to app...
106
click to vote
DATESO
2008
14 years 11 months ago
2008
In this paper we deal with a particular type of database systems
ISCI
2007
14 years 9 months ago
2007
In this state-of-the-art paper, important advances that have been made during the past five years for both general and interval type-2 fuzzy sets and systems are described. Inter...
ENC
2003
IEEE
15 years 2 months ago
2003
IEEE
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...