3931 search results - page 588 / 787 » Separation logic and abstraction |
171
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Existing approaches to P2P streaming can be divided into two general classes: (i) tree-based approaches use pushbased content delivery over multiple tree-shaped overlays...
197
Voted
IROS
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract— Robots are emerging from industrial plants toward every people’s daily life. Thus, navigation in and understanding of human related environments becomes a prerequisit...
194
Voted
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract – Jointly optimised iterative source- and channel-decoding is used for enhancing the error resilience of the Adaptive Multi Rate WideBand (AMR-WB) speech codec. The resu...
252
click to vote
ADAPTIVE
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Data Mining, or Knowledge Discovery as it is also known, is becoming increasingly useful in a wide variety of applications. In the following paper, we look at its use in ...
183
click to vote
APN
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We study the relationship between name creation and replication in a setting of infinitestate communicating automata. By name creation we mean the capacity of dynamicall...