8874 search results - page 358 / 1775 » A New Implementation of Automath |
193
click to vote
ADHOCNETS
2009
Springer
15 years 4 months ago
2009
Springer
This paper presents a header compression algorithm that unlike previous protocols is capable of compressing MAC headers in a multiple-access (shared) channel. Previous schemes coul...
234
click to vote
BSN
2009
IEEE
15 years 4 months ago
2009
IEEE
Clinicians have determined that continuous ambulatory monitoring provides significant preventative and diagnostic benefit, especially to the aged population. In this paper we descr...
213
click to vote
CISC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In 2002, algebraic attacks using overdefined systems of equations have been proposed as a potentially very powerful cryptanalysis technique against block ciphers. However...
208
click to vote
CISIS
2009
IEEE
15 years 4 months ago
2009
IEEE
The volume of stream data delivered from different information sources is increasing. There are a variety of demands to utilize such stream data for applications. Stream processin...
184
click to vote
CNL
2009
15 years 4 months ago
2009
Semantic wikis support the collaborative creation, editing and utilization of semantically-enriched content, and they may therefore be wellsuited to addressing problems associated ...