1818 search results - page 306 / 364 » The Many Faces of a Translation |
201
Voted
POPL
2008
ACM
16 years 28 days ago
2008
ACM
A lens is a bidirectional program. When read from left to right, it denotes an ordinary function that maps inputs to outputs. When read from right to left, it denotes an "upd...
221
Voted
POPL
2004
ACM
16 years 28 days ago
2004
ACM
We show how some classical static analyses for imperative programs, and the optimizing transformations which they enable, may be expressed and proved correct using elementary logi...
160
click to vote
RECOMB
2004
Springer
16 years 28 days ago
2004
Springer
Abstract. In this study we propose a novel model for the representation of biological networks and provide algorithms for learning model parameters from experimental data. Our appr...
158
click to vote
SIGMOD
2007
ACM
16 years 23 days ago
2007
ACM
Modern storage systems are sophisticated. Simple directattached storage devices are giving way to storage systems that are shared, flexible, virtualized and network-attached. Toda...
208
Voted
SIGMOD
2007
ACM
16 years 23 days ago
2007
ACM
Incomplete information arises naturally in numerous data management applications. Recently, several researchers have studied query processing in the context of incomplete informat...