1071 search results - page 132 / 215 » Programming with enumerable sets of structures |
102
click to vote
EACL
2003
ACL Anthology
15 years 2 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...
151
Voted
BMCBI
2005
15 years 15 days ago
2005
Background: The multitude of motif detection algorithms developed to date have largely focused on the detection of patterns in primary sequence. Since sequence-dependent DNA struc...
96
Voted
ICFP
2006
ACM
16 years 16 days ago
2006
ACM
Often, independent organizations define and advocate different XML formats for a similar purpose and, as a result, application programs need to mutually convert between such forma...
105
click to vote
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
121
Voted
CADE
2009
Springer
16 years 1 months ago
2009
Springer
Abstract This work studies the properties of finite automata recognizing vectors with real components, encoded positionally in a given integer numeration base. Such automata are us...