3863 search results - page 6 / 773 » Function in Device Representation |
106
click to vote
ICFP
2001
ACM
15 years 9 months ago
2001
ACM
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
95
Voted
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
165
click to vote
ICDE
2004
IEEE
15 years 11 months ago
2004
IEEE
The past decade has seen a wealth of research on time series representations, because the manipulation, storage, and indexing of large volumes of raw time series data is impractic...
90
Voted
ICMB
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper describes a prototype system, ZoneIT, for selectively controlling functionality of mobile devices, e.g. ringing of cellular telephones. ZoneIT exploits the fact that ma...
ACL
1998
14 years 11 months ago
1998
In this study, a learning device based on the PATtree data structures was developed. The original PAT-trees were enhanced with the deletion function to emulate human learning comp...