7335 search results - page 854 / 1467 » Scene Based Reasoning |
202
click to vote
LORI
2009
Springer
16 years 1 months ago
2009
Springer
Most belief change operators in the AGM tradition assume an underlying plausibility ordering over the possible worlds which is transitive and complete. A unifying structure for the...
185
click to vote
ISQED
2008
IEEE
16 years 1 months ago
2008
IEEE
— The dominant substrate noise coupling mechanism is determined for multiple switching gates based on a physically intuitive model. The model exhibits reasonable accuracy as comp...
191
click to vote
TPHOL
2008
IEEE
16 years 1 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
127
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— In this paper we analyze the operation of two scheduling algorithms, Class Based Queuing (CBQ) and Delay Bounded Hybrid Proportional Delay (DBHPD). We compare results obtained ...
181
click to vote
IROS
2006
IEEE
16 years 1 months ago
2006
IEEE
– The success of a landed space exploration mission depends largely on the final landing site. Factors influencing site selection include safety, fuel-consumption, and scientific...