8413 search results - page 1320 / 1683 » Ordering Problem Subgoals |
145
click to vote
ECAI
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. This paper describes an experimental comparison between two standard supervised learning methods, namely Naive Bayes and Exemplar–basedclassification, on the Word Sens...
169
click to vote
ECBS
2010
IEEE
15 years 9 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
149
Voted
IEEEARES
2010
IEEE
15 years 9 months ago
2010
IEEE
Many software security vulnerabilities only reveal themselves under certain conditions, i.e., particular configurations of the software together with its particular runtime environ...
134
Voted
ACSAC
1999
IEEE
15 years 9 months ago
1999
IEEE
Recently, research has focused on enabling fair exchange between payment and electronically shipped items. The reason for this is the growing importance of Electronic Commerce and...
123
Voted
ASYNC
1999
IEEE
15 years 9 months ago
1999
IEEE
This paper discusses the application of the timing analysis tool ATACS to the high performance, self-resetting and delayed-reset domino circuits being designed at IBM's Austi...