3863 search results - page 487 / 773 » Function in Device Representation |
280
click to vote
POPL
2007
ACM
16 years 7 months ago
2007
ACM
We present an internal language with equivalent expressive power to Standard ML, and discuss its formalization in LF and the machine-checked verification of its type safety in Twe...
286
click to vote
VLDB
2003
ACM
16 years 6 months ago
2003
ACM
Abstract. In traditional software systems, significant attention is devoted to keeping modules well separated and coherent with respect to functionality, thus ensuring that changes...
143
click to vote
PERCOM
2008
ACM
16 years 6 months ago
2008
ACM
This paper identifies requirements for querying and accessing context information in mobile and pervasive computing environments. Furthermore it studies existing query languages s...
267
click to vote
Publication
Several researchers have recently investigated the connection between reinforcement learning and classification. We are motivated by proposals of approximate policy iteration schem...
137
click to vote
ICCD
2001
IEEE
16 years 3 months ago
2001
IEEE
Reduced Ordered Binary Decision Diagrams (BDDs) are a data structure for representation and manipulation of Boolean functions which are frequently used in VLSI Design Automation. ...