9382 search results - page 348 / 1877 » A Functional Model for Data Analysis |
227
click to vote
TCOM
2010
15 years 1 months ago
2010
Abstract--Arbitration and scheduling of multiple tags in stateof-the-art Radio Frequency Identification (RFID) systems is accomplished on the medium access control layer. Currently...
186
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The recent accumulation of closely related genomic sequences provides a valuable resource for the elucidation of the evolutionary histories of various organisms. Howev...
188
click to vote
PODC
2006
ACM
16 years 22 days ago
2006
ACM
Motivated by applications to sensor, peer-to-peer, and adhoc networks, we study the problem of computing functions of values at the nodes in a network in a totally distributed man...
190
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. We propose a new method to verify that a higher-order, treeprocessing functional program conforms to an input/output specification. Our method reduces the verification pr...
196
click to vote
VMCAI
2010
Springer
16 years 4 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...