498 search results - page 78 / 100 » Constraint Answer Set Programming Systems |
120
Voted
ESOP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
160
click to vote
WOA
2004
15 years 3 months ago
2004
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
124
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
111
click to vote
SIAMJO
2000
15 years 2 months ago
2000
Abstract. Despite the efficiency shown by interior-point methods in large-scale linear programming, they usually perform poorly when applied to multicommodity flow problems. The ne...
117
click to vote
ICML
2007
IEEE
16 years 3 months ago
2007
IEEE
In this paper, we present an information-theoretic approach to learning a Mahalanobis distance function. We formulate the problem as that of minimizing the differential relative e...