15754 search results - page 819 / 3151 » Programs are Knowledge Bases |
208
click to vote
ICLP
1999
Springer
15 years 12 months ago
1999
Springer
A central service of a constraint programming system is search. In almost all constraint programming systems search is based on trailing, which is well understood and known to be ...
229
click to vote
ICLP
1998
Springer
15 years 12 months ago
1998
Springer
There have been several proposals for logic programming language based on linear logic: Lolli [6], Lygon [5], LO [3], LinLog [2], Forum [8]. In addition, BinProlog allows the use ...
183
click to vote
CPM
1997
Springer
15 years 11 months ago
1997
Springer
We show an ecient pattern matching algorithm for strings that are succinctly described in terms of straight-line programs, in which the constants are symbols and the only operati...
236
click to vote
ECML
2004
Springer
15 years 11 months ago
2004
Springer
The kernel function plays a central role in kernel methods. Most existing methods can only adapt the kernel parameters or the kernel matrix based on empirical data. Recently, Ong e...
191
click to vote
CC
2001
Springer
15 years 11 months ago
2001
Springer
Large programs are typically built from separate modules. Traditional whole-program analysis cannot be used in the context of such modular development. In this paper we consider an...