2016 search results - page 288 / 404 » Some observations on HC-128 |
158
click to vote
LICS
2007
IEEE
16 years 18 days ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...
181
click to vote
VTC
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract— A crucial issue in deploying wireless sensor networks is to perform a sensing task in an area of interest in an energy-efficient manner since sensor nodes have limited...
130
click to vote
WADS
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Assumptions about node density in the Sensor Networks literature are frequently too strong or too weak. Neither absolutely arbitrary nor uniform deployment seem feasible ...
161
click to vote
LCN
2006
IEEE
16 years 10 days ago
2006
IEEE
As sensor networks become denser and more widely deployed, the potential develops for interconnecting these networks to combine datasets, share technological solutions, and to con...
143
click to vote
ROBIO
2006
IEEE
16 years 10 days ago
2006
IEEE
— Humanoid robots are highly redundant systems with respect to the tasks they are asked to perform. This redundancy manifests itself in the number of degrees of freedom of the ro...