4887 search results - page 695 / 978 » System Level Design Using C |
153
click to vote
IJCAI
1989
15 years 5 months ago
1989
In a recent paper, Ginsberg shows how a backward-chaining ATMS can be used to construct a theorem prover for circumscription. Here, this work is extended to handle prioritized cir...
121
click to vote
NOSSDAV
2004
Springer
15 years 9 months ago
2004
Springer
In recent years, several architectures have been proposed and developed for supporting streaming applications that take advantage of multiple paths through the network simultaneou...
135
click to vote
ISCC
2003
IEEE
15 years 9 months ago
2003
IEEE
Sensor networks have recently gained popularity for a wide spectrum of applications. When performing monitoring tasks in hostile environments, security requirements become critical...
145
click to vote
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
One prevalent method for evaluating the results of automated software analysis tools is to compare the tools’ output to the judgment of human experts. This evaluation strategy i...
128
click to vote
ICAIL
1997
ACM
15 years 8 months ago
1997
ACM
The capacity for self-explanation can makecomputer-drafted documents more credible, assist in the retrieval and adaptation of archival documents, and permit comparison of document...