977 search results - page 125 / 196 » Logic programming with infinite sets |
119
click to vote
DOOD
1993
Springer
15 years 4 months ago
1993
Springer
In this paper we introduce a logical query language extended with object-oriented typing facilities. This language, called DTL (from DataTypeLog), can be seen as an extension of Da...
102
click to vote
CORR
2010
Springer
15 years 20 days ago
2010
Springer
Abstract. The basic aim of our study is to give a possible model for handling uncertain information. This model is worked out in the framework of DATALOG. At first the concept of f...
SAC
2006
ACM
15 years 6 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...
103
click to vote
ITP
2010
15 years 4 months ago
2010
CertiCrypt is a general framework to certify the security of cryptographic primitives in the Coq proof assistant. CertiCrypt adopts the code-based paradigm, in which the statement ...
120
click to vote
CVPR
2011
IEEE
14 years 8 months ago
2011
IEEE
The recognition of text in everyday scenes is made difficult by viewing conditions, unusual fonts, and lack of linguistic context. Most methods integrate a priori appearance info...