2149 search results - page 100 / 430 » Form over Substance |
125
click to vote
ISPA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In mobile ad hoc networks (MANETs), networks can be partitioned into clusters. Clustering algorithms are localized algorithms that have the property of creating an upper ...
145
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Lo...
116
click to vote
PET
2004
Springer
15 years 9 months ago
2004
Springer
We define a new type of mix network that offers a reduced form of robustness: the mixnet can prove that every message it outputs corresponds to an input submitted by a player wit...
145
click to vote
POLICY
2004
Springer
15 years 9 months ago
2004
Springer
Ad hoc networking is the basis of the future military network-centric warfare architecture. Such networks are highly dynamic in nature, as mobile ad hoc networks are formed over w...
149
click to vote
ICRA
2003
IEEE
15 years 9 months ago
2003
IEEE
- Bundled multi-walled carbon nanotubes (MWNT) were successfully and repeatably manipulated by AC electrophoresis to form resistive elements between Au microelectrodes and were dem...