2191 search results - page 214 / 439 » Aspect - A Problem For MT |
169
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
The Internet no longer meets the world’s requirements. Recognition of the Internet architecture’s inherent flaws has opened a window of opportunity for fresh thinking: granti...
200
click to vote
CSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—Human computation is a technique that makes use of human abilities for computation to solve problems. The human computation problems are the problems those computers are not goo...
215
Voted
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Methods for deciding quantifier-free non-linear arithmetical conjectures over R are crucial in the formal verification of many realworld systems and in formalised mathematics. Wh...
173
click to vote
AIMS
2008
Springer
16 years 1 months ago
2008
Springer
Abstract. Many researchers have used game theory to study the problem of encouraging cooperation in peer-to-peer and mobile ad hoc networks, where resources are provided collective...
182
click to vote
MUE
2007
IEEE
16 years 1 months ago
2007
IEEE
Swarm Intelligence (SI) inspired routing algorithms have become a research focus in recent years due to their self-organizing nature, which is very suitable to the routing problem...