1690 search results - page 323 / 338 » Algorithmic Properties of Millstream Systems |
JTAER
2008
13 years 7 months ago
2008
RFID tags are increasingly being used in supply chain applications due to their potential in engendering supply chain visibility and reducing tracking errors through instantaneous...
ENTCS
2007
13 years 7 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
PERVASIVE
2008
Springer
13 years 7 months ago
2008
Springer
Opportunistic sensing allows applications to "task" mobile devices to measure context in a target region. For example, one could leverage sensorequipped vehicles to measu...
TIT
2008
13 years 7 months ago
2008
A new wavelet-based methodology for representing data on regular grids is introduced and studied. The main attraction of this new L-CAMP methodology is in the way it scales with th...
TOG
2008
13 years 7 months ago
2008
Motivated by applications in architecture and manufacturing, we discuss the problem of covering a freeform surface by single curved panels. This leads to the new concept of semi-d...