4051 search results - page 279 / 811 » Aggregation |
147
click to vote
ADHOC
2006
15 years 4 months ago
2006
Internet-based mobile ad hoc network (IMANETIMANET) is an emerging technique that combines a wired network (e.g. Internet) and a mobile ad hoc network (MANETMANET) for developing ...
144
click to vote
AMAI
2006
Springer
15 years 4 months ago
2006
Springer
We show that the concepts of strong and uniform equivalence of logic programs eneralized to an abstract algebraic setting of operators on complete lattices. Our results imply char...
141
click to vote
ENTCS
2006
15 years 4 months ago
2006
The notion of equivalence that is typically used to relate Markovian process terms and to reduce their underlying state spaces is Markovian bisimilarity. The reason is that, besid...
127
click to vote
SIGIR
2008
ACM
15 years 4 months ago
2008
ACM
On July 24, 2008 the SIGIR Workshop on Focused Retrieval was held as part of SIGIR in Singapore. Nine paper were presented in three sessions and in a fourth session--joint with th...
154
click to vote
TPDS
2008
15 years 4 months ago
2008
Recent technological advances have opened up a wide range of distributed real-time applications involving battery-driven embedded devices with local processing and wireless communi...