367 search results - page 59 / 74 » tools 1997 |
EMMCVPR
1997
Springer
13 years 11 months ago
1997
Springer
Consistent labelling problems frequently have more than one solution. Most work in the "eld has aimed at disambiguating early in the interpretation process, using only local ...
EUROCRYPT
1997
Springer
13 years 11 months ago
1997
Springer
We propose a concept for a worldwide information security infrastructure that protects law-abiding citizens, but not criminals, even if the latter use it fraudulently (i.e. when no...
ICSE
1997
IEEE-ACM
13 years 11 months ago
1997
IEEE-ACM
—Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, ...
IFL
1997
Springer
13 years 11 months ago
1997
Springer
This paper introduces a new compiler optimization called with-loop-folding. It is based on a special loop construct, the withloop, which in the functional language Sac (for Single ...
KDD
1997
ACM
13 years 11 months ago
1997
ACM
This paper describesthe use of AI planning techniques to representscientific, image processing, and software tool knowledge to automateknowledgediscoveryanddatamining (e.g.,scienc...