3693 search results - page 204 / 739 » Splitting a Logic Program |
146
Voted
WABI
2004
Springer
15 years 11 months ago
2004
Springer
—In practice, one is often faced with incomplete phylogenetic data, such as a collection of partial trees or partial splits. This paper poses the problem of inferring a phylogene...
173
Voted
TACS
1994
Springer
15 years 10 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
141
click to vote
JMLR
2006
15 years 6 months ago
2006
In this paper, we propose a new representation for physical control
167
click to vote
PPDP
2004
Springer
15 years 11 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
185
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
By managing network resources at compile time, the compiled communication technique greatly improves the communication performance for communication patterns that are known at com...