2308 search results - page 286 / 462 » Representing Symbolic Reasoning |
272
click to vote
ASPLOS
2009
ACM
16 years 7 months ago
2009
ACM
This paper proposes a cycle accounting architecture for Simultaneous Multithreading (SMT) processors that estimates the execution times for each of the threads had they been execu...
130
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Occlusion is one of the major consequences of the physical image generation process: it occurs when an opaque object partly obscures the view of another object further away from t...
166
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This article compares several parameterizations and motion models for improving the estimation of the nonlinear uncertainty distribution produced by robot motion. In previous w...
164
click to vote
ECSQARU
2009
Springer
16 years 1 months ago
2009
Springer
This paper is about the fusion of multiple information sources represented using default logic. More precisely, the focus is on solving the problem that occurs when the standard-lo...
223
click to vote
SOCASE
2009
Springer
16 years 1 months ago
2009
Springer
Context-aware systems in a smart space environment must be aware of the surrounding contexts and adapt to changing contexts in highly dynamic environments. Data managements of con...