5550 search results - page 212 / 1110 » Different Approaches to Proof Systems |
159
click to vote
ICAS
2005
IEEE
16 years 5 days ago
2005
IEEE
— This paper presents a novel approach for efficient tree construction in ALM (Application Layer Multicast) using layered video coding. This system is suitable for the users in h...
172
click to vote
IRAL
2003
ACM
15 years 11 months ago
2003
ACM
Recent years saw an increased interest in the use and the construction of large corpora. With this increased interest and awareness has come an expansion in the application to kno...
165
click to vote
AWIC
2003
Springer
15 years 11 months ago
2003
Springer
The Internet makes it possible to share and manipulate a vast quantity of information efficiently and effectively, but the rapid and chaotic growth experienced by the Net has gener...
121
click to vote
ICRA
2000
IEEE
15 years 11 months ago
2000
IEEE
Recent research in industrial robotics aims at the involvement of additional sensoric devices to improve robustness, flexibility and performance of common robot applications. Man...
182
click to vote
VLDB
1992
ACM
15 years 10 months ago
1992
ACM
Research in temporal databases has mainly focused on defining temporal data models by extending existing models, and developing access structures for temporal data. Little has bee...