Sciweavers

1056 search results - page 34 / 212
» ijcai 2007
Sort
View
IJCAI
2007
13 years 11 months ago
Automatic Decision of Piano Fingering Based on a Hidden Markov Models
Yuichiro Yonebayashi, Hirokazu Kameoka, Shigeki Sa...
IJCAI
2007
13 years 11 months ago
Automatic Verification of Knowledge and Time with NuSMV
Alessio Lomuscio, Charles Pecheur, Franco Raimondi
IJCAI
2007
13 years 11 months ago
Symmetry Breaking in Quantified Boolean Formulae
Gilles Audemard, Saïd Jabbour, Lakhdar Sais
IJCAI
2007
13 years 11 months ago
A Multiobjective Frontier Search Algorithm
Lawrence Mandow, José-Luis Pérez-de-...