2075 search results - page 322 / 415 » aime 2007 |
84
Voted
CSL
2007
Springer
15 years 17 days ago
2007
Springer
This study is aimed at investigating whether automatic phonetic transcription procedures can approximate manual transcriptions typically delivered with contemporary large speech c...
88
Voted
JSAT
2008
15 years 17 days ago
2008
We introduce a new jump strategy for look-ahead based satisfiability (Sat) solvers that aims to boost their performance on satisfiable formulae, while maintaining their behavior o...
114
click to vote
DKE
2007
15 years 17 days ago
2007
Previous studies on mining sequential patterns have focused on temporal patterns specified by some form of propositional temporal logic. However, there are some interesting seque...
114
Voted
ECCC
2007
15 years 17 days ago
2007
Satisfiability algorithms have become one of the most practical and successful approaches for solving a variety of real-world problems, including hardware verification, experime...
91
Voted
EG
2007
15 years 17 days ago
2007
: This paper investigates the relationship between broadband and service innovation in an e-government context. We ask, what characterizes successful broadband based service innova...