6693 search results - page 144 / 1339 » Methods of Automatic Algorithm Generation |
177
click to vote
JCDL
2003
ACM
15 years 10 months ago
2003
ACM
Automatic metadata generation provides scalability and usability for digital libraries and their collections. Machine learning methods offer robust and adaptable automatic metadat...
144
click to vote
CAV
2004
Springer
15 years 8 months ago
2004
Springer
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
126
click to vote
MVA
1990
15 years 5 months ago
1990
This paper presents a method for measuringthe entire three dimensional (3D) shape of object, which is applicable for 3D digitizing into a solid modeling CAD. The method measures t...
126
click to vote
FMCAD
2007
Springer
15 years 11 months ago
2007
Springer
— Induction has been studied in model checking for proving the validity of safety properties, i.e., showing the absence of counterexamples. To our knowledge, induction has not be...
131
click to vote
ICLP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...