506 search results - page 14 / 102 » Constructor-based observational logic |
134
click to vote
TC
2010
14 years 10 months ago
2010
A systematic approach to the comparison of the graphics processor (GPU) and reconfigurable logic is defined in terms of three throughput drivers. The approach is applied to five ca...
176
Voted
JAIR
2008
15 years 3 months ago
2008
We present exact algorithms for identifying deterministic-actions' effects and preconditions in dynamic partially observable domains. They apply when one does not know the ac...
123
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
—Rate adaptation, as a challenging issue for wireless purpose. Relatively little attention has been paid on identifying network design, has been an active research topic for year...
127
Voted
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
Existing spatial logics for concurrency are intensional, in the sense that they induce an equivalence that coincides with structural congruence. In this work, we study a contextual...
135
Voted
ICCAD
2000
IEEE
15 years 8 months ago
2000
IEEE
We address optimizing multi-valued (MV) logic functions in a multi-level combinational logic network. Each node in the network, called an MV-node, has multi-valued inputs and sing...