15416 search results - page 2944 / 3084 » Embeddings of Computable Structures |
175
Voted
TOG
2008
15 years 6 months ago
2008
We present a new adaptive sampling strategy for ray tracing. Our technique is specifically designed to handle multidimensional sample domains, and it is well suited for efficientl...
256
Voted
TOPLAS
2008
15 years 6 months ago
2008
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
152
Voted
JNCA
2007
15 years 6 months ago
2007
The fusion of Multimedia and Internet technology has introduced an ever-increasing demand for large-scale reliable media services. This exposes the scalability limitations of curr...
210
Voted
TSP
2008
15 years 6 months ago
2008
In the traditional transmitting beamforming radar system, the transmitting antennas send coherent waveforms which form a highly focused beam. In the multiple-input multipleoutput (...
188
Voted
AI
2002
Springer
15 years 6 months ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...