515 search results - page 82 / 103 » Neighborhood operator systems and approximations |
ICCAD
2006
IEEE
15 years 6 months ago
2006
IEEE
Battery-powered wireless sensors are severely constrained by the amount of the available energy. A method for computing the energy budget per sensing task can be a valuable design...
MIDDLEWARE
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Pervasive computing applications often entail continuous monitoring tasks, issuing persistent queries that return continuously updated views of the operational environmen...
CEC
2008
IEEE
15 years 4 months ago
2008
IEEE
— Evolutionary optimization of a gait for a bipedal robot has been studied, combining structural and parametric modifications of the system responsible for generating the gait. ...
QEST
2008
IEEE
15 years 4 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
AINA
2007
IEEE
15 years 4 months ago
2007
IEEE
In the Ad-Hoc InfoWare project, we develop a delay tolerant event notification service for sparse Mobile Ad-Hoc Networks for emergency and rescue operations. In most event notific...