4513 search results - page 618 / 903 » Logic programming with satisfiability |
126
click to vote
STOC
2004
ACM
16 years 4 months ago
2004
ACM
The cut-norm ||A||C of a real matrix A = (aij)iR,jS is the maximum, over all I R, J S of the quantity | iI,jJ aij|. This concept plays a major role in the design of efficient app...
139
click to vote
SOFSEM
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...
119
click to vote
ECBS
2009
IEEE
15 years 11 months ago
2009
IEEE
In response to changing requirements and other environmental influences, software systems are increasingly developed incrementally. Successful implementation of new features in e...
129
click to vote
WECWIS
2009
IEEE
15 years 11 months ago
2009
IEEE
—The goal of the Web Service Composition (WSC) problem is to find an optimal composition of web services to satisfy a given request using their syntactic and/or semantic feature...
131
click to vote
ERSHOV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...