4098 search results - page 76 / 820 » Sound mobility models |
112
Voted
MOBIHOC
2002
ACM
16 years 3 months ago
2002
ACM
We empirically study the effect of mobility and interaction between various input parameters on the performance of protocols designed for wireless ad-hoc networks. An important ob...
146
click to vote
CADE
2003
Springer
16 years 3 months ago
2003
Springer
This paper develops sound modelling and reasoning methods for imperative programs with pointers: heaps are modelled as mappings from addresses to values, and pointer structures are...
126
Voted
IJON
2010
15 years 2 months ago
2010
We present an EM-algorithm for the problem of learning preferences with Gaussian processes in the context of multi-task learning. We validate our approach on an audiological data ...
117
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Mobile devices, like sensor networks and MEMS actuators use mobile power supplies to ensure energy for their operation. These are mostly batteries. The lifetime of the devices dep...
128
Voted
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...