8228 search results - page 257 / 1646 » Structural Logical Relations |
130
click to vote
ICDT
2007
ACM
15 years 11 months ago
2007
ACM
Close relationships between XML navigation and temporal logics have been discovered recently, in particular between logics LTL and CTL⋆ and XPath navigation, and between the µ-c...
157
click to vote
CL
2000
Springer
15 years 9 months ago
2000
Springer
In this paper I give a brief overview of recent work on uncertainty inAI, and relate it to logical representations. Bayesian decision theory and logic are both normative frameworks...
136
click to vote
EDBT
2006
ACM
16 years 5 months ago
2006
ACM
: This work describes a method for processing XPath on a relational back-end that significantly limits the number of SQL joins required, takes advantage of the strengths of modern ...
120
click to vote
PAIRING
2007
Springer
15 years 11 months ago
2007
Springer
— In EUROCRYPT 2006, Cheon proposed breakthrough algorithms for pairing-related problems such as the q-weak/strong Diffie-Hellman problem. Using that the exponents of an element ...
131
click to vote
SBRN
2002
IEEE
15 years 10 months ago
2002
IEEE
This work reports the use of neural networks for pattern recognition in electroencephalographic signals related to intermittent photic-stimulation. Due to the low signal/noise rat...