134
click to vote
ALGOSENSORS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Due to their small form factor and modest energy budget, individual sensors are not expected to be GPS-enabled. Moreover, in most applications, exact geographic location ...
141
click to vote
AISC
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We describe a method for managing large expressions in symbolic computations which combines a hierarchical representation with signature calculations. As a case study, th...
120
click to vote
AISC
2006
Springer
15 years 7 months ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...