Sciweavers

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