4814 search results - page 90 / 963 » Combining abstract interpreters |
155
click to vote
ECAI
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We describe a text summarization system that moves beyond standard approaches by using a hybrid approach of linguistic and statistical analysis and by employing text-sort...
129
click to vote
AVBPA
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. We report about some experiments on the fingerprint database NIST-4 using different combinations of Support Vector Machine (SVM) classifiers. Images have been preprocesse...
164
Voted
CSCLP
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. We propose a new family of constraints which combine together lexicographical ordering constraints for symmetry breaking with other common global constraints. We give a g...
172
click to vote
ECOOP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
162
click to vote
ECAI
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Conflict-based diagnosis is a recently proposed probabilistic method for model-based diagnosis, inspired by consistencybased diagnosis, that uses a measure of data confli...