3090 search results - page 326 / 618 » On Testing Answer-Set Programs |
173
click to vote
ISCAS
2007
IEEE
16 years 28 days ago
2007
IEEE
— This paper presents a novel design of analog window comparator circuit. The comparator can adaptively adjust its error threshold according to the magnitude of input signal leve...
151
click to vote
ICRA
2005
IEEE
16 years 7 days ago
2005
IEEE
- In this paper the design and kinematic performances are presented for a low-cost parallel manipulator with 4 driven cables. It has been conceived for an easy programming of its o...
150
click to vote
CAISE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper uses a framework drawn from work in the philosophy of science to characterize the concepts of program correctness that have been used in software engineering, ...
175
click to vote
FLAIRS
2008
15 years 7 months ago
2008
This paper describes an algorithm developed as a decision support system for SMT line operators and its purpose is to suggest changes in an existing feeder setup in order to impro...
150
click to vote
AMC
2007
15 years 6 months ago
2007
This short note explains how to use ready-to-use components of symbolic software to convert between the free cumulants and the moments of measures without sophisticated programming...