Sciweavers

529 search results - page 5 / 106
» ideas 2003
Sort
View
CADE
2003
Springer
14 years 10 months ago
Automating the Dependency Pair Method
Developing automatable methods for proving termination of term rewrite systems that resist traditional techniques based on simplification orders has become an active research area ...
Nao Hirokawa, Aart Middeldorp
HICSS
2003
IEEE
104views Biometrics» more  HICSS 2003»
14 years 3 months ago
Does e-Business Modeling Really Help?
Many innovative e-business ideas are hardly understood by their stakeholders when articulated just by words. To create a better, also shared, understanding, and to enhance confid...
Jaap Gordijn, Hans Akkermans
ICML
2003
IEEE
14 years 11 months ago
Representational Issues in Meta-Learning
To address the problem of algorithm selection for the classification task, we equip a relational case base with new similarity measures that are able to cope with multirelational ...
Alexandros Kalousis, Melanie Hilario
DAGM
2003
Springer
14 years 3 months ago
Coherence-Enhancing Shock Filters
Shock filters are based in the idea to apply locally either a dilation or an erosion process, depending on whether the pixel belongs to the influence zone of a maximum or a minim...
Joachim Weickert
ICMI
2003
Springer
107views Biometrics» more  ICMI 2003»
14 years 3 months ago
Sketching informal presentations
Informal presentations are a lightweight means for fast and convenient communication of ideas. People communicate their ideas to others on paper and whiteboards, which afford flui...
Yang Li, James A. Landay, Zhiwei Guan, Xiangshi Re...