7167 search results - page 376 / 1434 » Answer Set Programming |
119
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
Testing is among the most effective tools available for finding bugs. Still, we know of no automatic technique for generating test cases that expose bugs involving a combination ...
113
Voted
ICCAD
2007
IEEE
16 years 8 days ago
2007
IEEE
Modern processing technologies offer a number of types of devices such as high-VT , low-VT , thick-oxide, etc. in addition to the nominal transistor in order to meet system perfor...
168
click to vote
CPAIOR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In recent work binary decision diagrams (BDDs) were introduced as a technique for postoptimality analysis for integer programming. In this paper we show that much smaller...
149
click to vote
GECCO
2008
Springer
15 years 4 months ago
2008
Springer
Voice over IP (VoIP) speech quality estimation is crucial to providing optimal Quality of Service (QoS). This paper seeks to provide improved speech quality estimation models with...
125
click to vote
ARTMED
2010
15 years 3 months ago
2010
Objective: The programming language Arden Syntax has been optimised for use in clinical decision support systems. We describe an extension of this language named Fuzzy Arden Synta...