2490 search results - page 276 / 498 » Complexity of Contextual Reasoning |
124
click to vote
ISCAS
2003
IEEE
15 years 10 months ago
2003
IEEE
The neural computations that support bat echolocation are of great interest to both neuroscientists and engineers, due to the complex and extremely time-constrained nature of the ...
142
click to vote
LICS
2003
IEEE
15 years 10 months ago
2003
IEEE
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
152
Voted
NCA
2003
IEEE
15 years 10 months ago
2003
IEEE
This paper studies the optimal placement of web files for en-route web caching. It is shown that existing placement policies are all solving restricted partial problems of the ...
134
click to vote
PG
2003
IEEE
15 years 10 months ago
2003
IEEE
We present a system based on commodity graphics hardware for computing global illumination in dynamic scenes at interactive rates. We designed a progressive global illumination al...
123
Voted
ATAL
2003
Springer
15 years 10 months ago
2003
Springer
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...