Sciweavers

5030 search results - page 19 / 1006
» cases 2007
Sort
View
111
Voted
CASC
2007
Springer
100views Mathematics» more  CASC 2007»
15 years 8 months ago
Weak Integer Quantifier Elimination Beyond the Linear Case
Aless Lasaruk, Thomas Sturm
95
Voted
AAAI
2007
15 years 6 months ago
Explanation Support for the Case-Based Reasoning Tool myCBR
Daniel Bahls, Thomas Roth-Berghofer
110
Voted
AAAI
2007
15 years 6 months ago
Informed Case Base Maintenance: A Complexity Profiling Approach
Susan Craw, Stewart Massie, Nirmalie Wiratunga