9871 search results - page 68 / 1975 » On the Structure of Low Sets |
ESOP
2007
Springer
14 years 3 months ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
VTC
2006
IEEE
14 years 3 months ago
2006
IEEE
— The combination of space-time block codes (STBC) and spatial multiplexing (SM) schemes has the advantages of diversity gain and high data rate. For such STBC/SM hybrid systems,...
DAGM
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. We present a new method to simultaneously estimate optical flow fields and parameters of dynamic processes, violating the standard brightness change constraint equation...
CRW
1998
Springer
14 years 1 months ago
1998
Springer
In most multiagent systems with communicating agents, the agents have the luxury of using reliable, multi-step negotiation protocols. They can do so primarily when communication i...
DSD
2004
IEEE
14 years 23 days ago
2004
IEEE
Filter cache(FC) is effective in achieving energy saving at the expense of some performance degradation. The energy savings, here, comes from repeated execution of tiny loops from...