2062 search results - page 188 / 413 » Derivatives of Logical Formulas |
231
click to vote
ICDT
2009
ACM
16 years 5 months ago
2009
ACM
Marx and de Rijke have shown that the navigational core of the w3c XML query language XPath is not first-order complete ? that is it cannot express every query definable in firsto...
153
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
We show that recursive programs where variables range over finite domains can be effectively and efficiently analyzed by describing the analysis algorithm using a formula in a ...
135
click to vote
LACL
2001
Springer
15 years 9 months ago
2001
Springer
In categorial systems with a fixed structural component, the learning problem comes down to finding the solution for a set of typeassignment equations. A hard-wired structural co...
148
click to vote
GLOBECOM
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, we propose a new framework for the study of cellular networks called the fluid model and we derive from this model analytical formulas for interference, outage ...
125
click to vote
IJCNN
2000
IEEE
15 years 8 months ago
2000
IEEE
Many machine learning algorithms can be formulated as the minimization of a training criterion which involves (1) \training errors" on each training example and (2) some hype...