2904 search results - page 360 / 581 » Number Forms in the Brain |
174
click to vote
RT
2004
Springer
16 years 2 days ago
2004
Springer
With the advancements in realtime ray tracing and new global illumination algorithms we are now able to render the most important illumination effects at interactive rates. One of...
154
click to vote
STACS
2004
Springer
16 years 2 days ago
2004
Springer
We present two simple algorithms for SAT and prove upper bounds on their running time. Given a Boolean formula F in conjunctive normal form, the first algorithm finds a satisfyin...
173
click to vote
TACAS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. The Succinct Solver Suite offers two analysis engines for solving data and control flow problems expressed in clausal form in a large fragment of first order logic. Th...
147
click to vote
TSD
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Translation of Multi-word expressions (MWEs) is one of the most challenging tasks of a Machine translation (MT) system. In this paper, we present an innovative technique ...
156
click to vote
WCW
2004
Springer
16 years 2 days ago
2004
Springer
The increasing use of the web for serving http content, for database transactions, etc. can place heavy stress on servers. Flash crowds can occur at a server when there is a burst ...