2432 search results - page 97 / 487 » Cryptographic logical relations |
101
Voted
AAAI
2008
15 years 2 months ago
2008
Many real-world problems are characterized by complex relational structure, which can be succinctly represented in firstorder logic. However, many relational inference algorithms ...
70
Voted
ICML
2004
IEEE
16 years 1 months ago
2004
IEEE
We present a trainable sequential-inference technique for processes with large state and observation spaces and relational structure. Our method assumes "reliable observation...
147
click to vote
DASFAA
2004
IEEE
15 years 4 months ago
2004
IEEE
Relational index structures, as for instance the Relational Interval Tree or the Linear Quadtree, support efficient processing of queries on top of existing object-relational datab...
178
click to vote
SIGMOD
2007
ACM
16 years 22 days ago
2007
ACM
In response to the widespread use of the XML format for document representation and message exchange, major database vendors support XML in terms of persistence, querying and inde...
117
Voted
HASKELL
2006
ACM
15 years 6 months ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...