5414 search results - page 937 / 1083 » Data representation synthesis |
127
click to vote
ICAIL
2003
ACM
15 years 9 months ago
2003
ACM
This paper focuses on the creation of a first order predicate calculus based regulation compliance-assistance system built upon an XML framework. Two areas of research that suppor...
132
click to vote
PPOPP
2003
ACM
15 years 9 months ago
2003
ACM
Collecting a program’s execution profile is important for many reasons: code optimization, memory layout, program debugging and program comprehension. Path based execution pro...
151
click to vote
SASN
2003
ACM
15 years 9 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
136
click to vote
SMA
2003
ACM
15 years 9 months ago
2003
ACM
We present a method to estimate the in/out function of a closed surface represented by an unorganized set of data points. From the in/out function, we compute an approximation of ...
130
click to vote
ADC
2003
Springer
15 years 9 months ago
2003
Springer
Defeasible logic is a non-monotonic logic with applications in rule-based domains such as law. To ease the development and improve the accuracy of expert systems based on defeasib...