1938 search results - page 130 / 388 » On Positive Relational Calculi |
195
click to vote
ICFP
2009
ACM
16 years 1 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
119
click to vote
ACL
2009
14 years 10 months ago
2009
Dependency parsers show syntactic relations between words using a directed graph, but comparing dependency parsers is difficult because of differences in theoretical models. We de...
101
click to vote
ICDAR
2003
IEEE
15 years 6 months ago
2003
IEEE
er presents an approach to deriving an abstract geometric model of a table from a physical representation. The technique developed uses a graph of constraints between cells which ...
106
Voted
EUROCRYPT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We consider the question of adaptive security for two related cryptographic primitives: all-or-nothing transforms and exposureresilient functions. Both are concerned with...
121
click to vote
CIE
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. The input to a constraint satisfaction problem (CSP) consists of a set of variables, each with a domain, and constraints between these variables formulated by relations o...