3166 search results - page 154 / 634 » Translation By Structural Correspondences |
119
click to vote
ENTCS
2002
15 years 24 days ago
2002
I describe a new compiler infrastructure for imperative synchronous languages such as Esterel and ecl. Built on the suif 2 system, it includes a new intermediate representation fo...
129
Voted
JAR
2010
14 years 11 months ago
2010
Abstract. We present a declarative language inspired by the pseudonatural language used in Matita for the explanation of proof terms. We show how to compile the language to proof t...
110
click to vote
CONCUR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper studies how to adjoin probability to event structures, leading to the model of probabilistic event structures. In their simplest form probabilistic choice is l...
APBC
2004
15 years 2 months ago
2004
With the continued growth of three dimensional structural information databases comes a corresponding increase in interest in this data for the study of new sequences and an ever-...
114
click to vote
BIOCOMP
2006
15 years 2 months ago
2006
- The search for structural similarity among proteins can provide valuable insights into their functional mechanisms and their functional relationships. Though the protein 1D seque...