3441 search results - page 121 / 689 » Parallel Logic Programming Systems |
215
click to vote
ACMSE
2011
ACM
14 years 2 months ago
2011
ACM
Rising Field Programmable Gate Array (FPGA) market volumes combined with increasing industrial popularity have driven prices down and improved capability to the point that FPGA ha...
158
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Remote homology detection is a hard computational problem. Most approaches have trained computational models by using either full protein sequences or multiple sequenc...
125
click to vote
LOPSTR
2005
Springer
15 years 8 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
123
click to vote
JAPLL
2006
15 years 2 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
109
click to vote
EUROCOLT
1999
Springer
15 years 6 months ago
1999
Springer
The present paper motivates the study of mind change complexity for learning minimal models of length-bounded logic programs. It establishes ordinal mind change complexity bounds ...