Sciweavers

9626 search results - page 48 / 1926
» Invariant Based Programming
Sort
View
131
Voted
TACAS
2004
Springer
130views Algorithms» more  TACAS 2004»
15 years 11 months ago
Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases
Kairong Qian, Albert Nymeyer
ISMIR
2003
Springer
126views Music» more  ISMIR 2003»
15 years 11 months ago
Geometric algorithms for transposition invariant content based music retrieval
Esko Ukkonen, Kjell Lemström, Veli Mäkin...