7890 search results - page 478 / 1578 » The MathSAT 3 System |
190
click to vote
STOC
1994
ACM
15 years 10 months ago
1994
ACM
We indicate strong non-approximability factors for central problems: N1/4 for Max Clique; N1/10 for Chromatic Number; and 66/65 for Max 3SAT. Underlying the Max Clique result is a...
212
click to vote
CEC
2008
IEEE
15 years 9 months ago
2008
IEEE
It is often suggested that traditional models of artificial evolution, based on explicit, human-defined fitness functions, are fundamentally more restricted and less creative than ...
210
click to vote
CSCWD
2008
Springer
15 years 8 months ago
2008
Springer
3D information systems for education must be investigated and adopted for a more involving form of learning. It is in this context that we propose the use of Second Life as an env...
173
click to vote
FPLAY
2008
15 years 8 months ago
2008
In this paper, we present an evaluation of exaggerated headcoupled camera motions in a game-like 3D object movement. Three exaggeration levels were compared to determine if the ex...
160
click to vote
ACL
2008
15 years 8 months ago
2008
We present a method to transliterate names in the framework of end-to-end statistical machine translation. The system is trained to learn when to transliterate. For Arabic to Engl...