3001 search results - page 209 / 601 » Recursive type generativity |
173
click to vote
DBPL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
159
click to vote
LICS
1996
IEEE
15 years 10 months ago
1996
IEEE
Real PCF is an extension of the programming language PCF with a data type for real numbers. Although a Real PCF definable real number cannot be computed in finitely many steps, it...
187
click to vote
ER
1994
Springer
15 years 10 months ago
1994
Springer
A normal form object-oriented entity relationship (OOER) diagram is presented to address a set of 00 data modelling issues, viz. the inability to judge the quality of an 00 schema,...
175
click to vote
NIPS
2008
15 years 7 months ago
2008
Neural activity is non-stationary and varies across time. Hidden Markov Models (HMMs) have been used to track the state transition among quasi-stationary discrete neural states. W...
132
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In practical nonlinear filtering, the assessment of achievable filtering performance is important. In this paper, we focus on the problem of how to efficiently approximate the post...