13841 search results - page 267 / 2769 » Algorithms and Constraint Programming |
199
click to vote
DKE
2010
15 years 6 months ago
2010
We describe the Consistency Extractor System (ConsEx) that computes consistent answers to Datalog queries with negation posed to relational databases that may be inconsistent with...
171
click to vote
NA
2010
15 years 5 months ago
2010
In the past decade or so, semi-definite programming (SDP) has emerged as a powerful tool capable of handling a remarkably wide range of problems. This article describes an innovat...
182
click to vote
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
140
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
— A new sub-space max-monomial modeling scheme for CMOS transistors in sub-micron technologies is proposed to improve the modeling accuracy. Major electrical parameters of CMOS...
205
click to vote
INAP
2005
Springer
16 years 4 days ago
2005
Springer
This article introduces the turtle++ library which combines constraint-based and imperative paradigms and enables in this way constraint imperative programming (CIP) with c++. Inte...