10275 search results - page 170 / 2055 » Case Studies of Autonomy |
164
click to vote
ICB
2007
Springer
16 years 6 days ago
2007
Springer
Most of the biometric authentication systems store multiple templates per user to account for variations in biometric data. Therefore, these systems suffer from storage space and ...
133
click to vote
ICCSA
2007
Springer
16 years 6 days ago
2007
Springer
This paper presents a Greedy-Least Saturation Degree (G-LSD) heuristic (which is an adaptation of the least saturation degree heuristic) to solve a real-world examination timetabli...
166
click to vote
MICAI
2007
Springer
16 years 5 days ago
2007
Springer
Among various document clustering algorithms that have been proposed so far, the most useful are those that automatically reveal the number of clusters and assign each target docum...
159
click to vote
MKM
2007
Springer
16 years 5 days ago
2007
Springer
We address the problem of automatic synthesis of decision procedures. Our synthesis mechanism consists of several stages and submechanisms and is well-suited to the proof-planning ...