9049 search results - page 365 / 1810 » The New C Standard |
181
Voted
FOCS
2004
IEEE
15 years 10 months ago
2004
IEEE
In this work we look back into the proof of the PCP Theorem, with the goal of finding new proofs that are "more combinatorial" and arguably simpler. For that we introduc...
156
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
We propose a remedy to that part of the state-explosion problem for timed automata which is due to interleaving of actions. We prove the following quite surprising result: the unio...
135
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We introduce a new approach to spellchecking for languages with extreme phonetic irregularities. The spelling for such languages can be significantly improved if knowledg...
176
click to vote
ER
2006
Springer
15 years 10 months ago
2006
Springer
Emergent Semantics is a new paradigm for inferring semantic meaning from implicit feedback by a sufficiently large number of users of an object retrieval system. In this paper, we ...
185
click to vote
EUROGP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. A new model for evolving crossover operators for evolutionary function optimization is proposed in this paper. The model is a hybrid technique that combines a Genetic Pro...