10289 search results - page 352 / 2058 » Standard bases in K |
193
click to vote
FLAIRS
2007
15 years 9 months ago
2007
The research described here focuses on global tempo transformations of monophonic recordings of saxophone jazz performances. We have investigated the problem of how a performance ...
172
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
While stochastic local search (SLS) techniques are very efficient in solving hard randomly generated propositional satisfiability (SAT) problem instances, a major challenge is to i...
177
click to vote
EVOW
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Lexical variance in biomedical texts poses a challenge to automatic protein relation mining. We therefore propose a new approach that relies only on more general language...
177
click to vote
ACISICIS
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract--User-system interaction is sometimes a cumbersome element of non-textual information access. Image retrieval systems now incorporate various interaction mechanisms. Howev...
171
click to vote
ACISP
2010
Springer
15 years 8 months ago
2010
Springer
We provide the first description of and security model for authenticated key exchange protocols with predicate-based authentication. In addition to the standard goal of session ke...