1669 search results - page 81 / 334 » Structured Specification of Model Interpreters |
128
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: The 'lid' subcomplex of the 26S proteasome and the COP9 signalosome (CSN complex) share a common architecture consisting of six subunits harbouring a so-call...
136
click to vote
LREC
2010
15 years 4 months ago
2010
In ontology learning from texts, we have ontology-rich domains where we have large structured domain knowledge repositories or we have large general corpora with large general str...
142
Voted
TOG
2008
15 years 3 months ago
2008
We introduce a computational framework for discovering regular or repeated geometric structures in 3D shapes. We describe and classify possible regular structures and present an e...
118
Voted
CGF
2010
15 years 3 months ago
2010
We present a set of techniques for the synthesis of artificial images that depict branching structures like rivers, cracks, lightning, mountain ranges, or blood vessels. The centr...
102
click to vote
CSL
2007
Springer
15 years 9 months ago
2007
Springer
We show how to extract classical programs expressed in Krivine λc-calculus from proof-terms built in a proof-irrelevant and classical version of the calculus of constructions with...