315 search results - page 26 / 63 » Reasoning about Assignments in Recursive Data Structures |
144
click to vote
DSN
2005
IEEE
15 years 7 months ago
2005
IEEE
Since sensor data gathering is the primary functionality of sensor networks, it is important to provide a fault tolerant method for reasoning about sensed events in the face of ar...
115
click to vote
IAT
2008
IEEE
15 years 2 months ago
2008
IEEE
As information and communication technologies are becoming an integral part of our homes, the demand for AmI systems with assistive functionality is increasing. A great effort has...
120
click to vote
VMV
2000
15 years 3 months ago
2000
In most volume rendering scenarios implicit classification is performed manually by specification of a transfer function, that maps abstract data values to visual attributes. An a...
126
click to vote
SDM
2010
SIAM
15 years 3 months ago
2010
SIAM
Large graph databases are commonly collected and analyzed in numerous domains. For reasons related to either space efficiency or for privacy protection (e.g., in the case of socia...
204
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...