8512 search results - page 178 / 1703 » Computing Theory With Relevance |
126
click to vote
CIE
2005
Springer
15 years 10 months ago
2005
Springer
geometrical computation: Turing-computing ability and undecidability J´erˆome Durand-Lose Laboratoire d’Informatique Fondamentale d’Orl´eans, Universit´e d’Orl´eans, B.P...
115
click to vote
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. We introduce the notion of regular cost functions: a quantitative extension to the standard theory of regular languages. We provide equivalent characterisations of this n...
169
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. We lay the foundations of a first-order correspondence theory for coalgebraic logics that makes the transition structure explicit in the first-order modelling. In parti...
126
Voted
IMSCCS
2006
IEEE
15 years 10 months ago
2006
IEEE
The paper mainly deals with a vertical handover decision algorithm based on the fuzzy control theory. The algorithm takes into consider the factors of Power Level, Cost and Bandwi...
109
click to vote
CIG
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract- This paper proposes a similarity-based approach for opponent modelling in multi-agent games. The classification accuracy is increased by adding derived attributes from i...