1847 search results - page 135 / 370 » Hybrid Functional Interpretations |
139
click to vote
CORR
1998
Springer
15 years 5 months ago
1998
Springer
This paper describes a computational, declarative approach to prosodic morphology that uses inviolable constraints to denote small finite candidate sets which are filtered by a re...
169
click to vote
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
[6]. An SBML model can be interpreted in Biocham at three abstraction levels: • the Boolean semantics (asynchronuous Boolean state transitions on the presence/absence of molecule...
182
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
111
click to vote
ICIP
2007
IEEE
16 years 7 months ago
2007
IEEE
A set of three fixed basis functions is proposed for the linear projection of hyperspectral images into a set of three images that can be displayed on the red, green, and blue cha...
154
click to vote
BIB
2007
15 years 6 months ago
2007
An overview is presented of the construction and use of algebraic partition functions to represent the equilibrium statistical mechanics of multimolecular complexes and their acti...