7456 search results - page 1043 / 1492 » Parallelism in Logic Programming |
238
Voted
TPHOL
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. We describe the key features of the proof description language of Declare, an experimental theorem prover for higher order logic. We take a somewhat radical approach to p...
184
Voted
ENTCS
2008
15 years 7 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...
181
Voted
NC
2008
15 years 6 months ago
2008
A highly desired part of the synthetic biology toolbox is an embedded chemical microcontroller, capable of autonomously following a logic program specified by a set of instructions...
167
Voted
ICPR
2002
IEEE
16 years 8 months ago
2002
IEEE
A new simple algorithm, based on dynamic programming is presented, for handwritten character recognition, with improved accuracy. The proposed Shape Transform (ST) approach is bas...
293
Voted
CP
2009
Springer
16 years 7 months ago
2009
Springer
A problem that is inherent to the development and efficient use of solvers is that of tuning parameters. The CP community has a long history of addressing this task automatically. ...