1847 search results - page 172 / 370 » Hybrid Functional Interpretations |
144
click to vote
HCI
2007
15 years 7 months ago
2007
This paper investigates methods of describing two-dimensional and three-dimensional scenes using eXtensible Mark-up Language (XML). It also investigates the initial development of ...
160
click to vote
ENGL
2007
15 years 6 months ago
2007
— The aim of the present work is to present a characterization of the Gentzen System G by means of a regulated grammar, according to the Formal Languages Theory. Given a proposit...
146
click to vote
TCBB
2008
15 years 6 months ago
2008
Under a stochastic model of molecular sequence evolution the probability of each possible pattern of characters is well defined. The Kimura's three-substitution-types (K3ST) m...
146
click to vote
SAS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
160
Voted
JCAM
2010
15 years 25 days ago
2010
The Sakurai-Sugiura projection method, which solves a generalized eigenvalue problem to find certain eigenvalues in a given domain, was reformulated by using the resolvent theory....