1179 search results - page 127 / 236 » Programming in Hybrid Constraint Languages |
208
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When...
107
click to vote
ISCAS
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper proposes two new methods for optimizing objectives and constraints. The GP approach is very general and hardware resources in finite wordlength implementation of it allo...
122
click to vote
SODA
2004
ACM
15 years 2 months ago
2004
ACM
We design polynomial time approximation schemes (PTASs) for Metric BISECTION, i.e. dividing a given finite metric space into two halves so as to minimize or maximize the sum of di...
EUMAS
2006
15 years 2 months ago
2006
Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify and explicitly manage the normative positions of agents (permissions, pro...
110
click to vote
ECOOP
2004
Springer
15 years 6 months ago
2004
Springer
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...