3090 search results - page 567 / 618 » On Testing Answer-Set Programs |
108
click to vote
GLOBECOM
2009
IEEE
15 years 5 months ago
2009
IEEE
—We have recently proposed a novel receiver for Ultra-Wide-band Impulse-Radio communication in bursty applications like Wireless Sensor Networks. The receiver, based on the princ...
137
click to vote
CASES
2005
ACM
15 years 3 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
126
click to vote
DICS
2006
15 years 3 months ago
2006
Achieving software reliability takes many complementary techniques, directed at the process or at the products. This survey summarizes some of the most fruitful ideas. 1 OVERVIEW ...
138
click to vote
ASC
2000
15 years 3 months ago
2000
The improved performance of computer-based text analysis represents a major step forward for knowledge management. Reliable text interpretation allows focus to be placed upon the ...
IJCAI
1989
15 years 2 months ago
1989
This paper describes a program, called NEWTON, that finds approximate symbolic solutions to parameterized equations in one variable. N E W T O N derives an initial approximation b...