736 search results - page 13 / 148 » High-order functions and their ordering relations |
CORR
2008
Springer
14 years 9 months ago
2008
Springer
We give a new, and hopefully more easily understandable, structural proof of the decomposition of a k-valued transducer into k unambiguous functional ones, a result established by...
BMAS
2000
IEEE
15 years 1 months ago
2000
IEEE
System design requires experienced designers that use heuristics and built up knowledge to propose a high order solution. Behavioral models can help to formalise, optimise and spe...
DATESO
2004
14 years 11 months ago
2004
In this paper we present a storage method for sets of first order logic terms in a relational database using function symbols based indexing method of Discrimination trees. This is...
CIMCA
2008
IEEE
14 years 11 months ago
2008
IEEE
XML has emerged as a common standard for data exchange over the World Wide Web. One way to manage XML data is to use the power of relational databases for storing and q...
EPEW
2006
Springer
15 years 1 months ago
2006
Springer
This paper shows how to construct a Markovian arrival process of second order from information on the marginal distribution and on its autocorrelation function. More precisely, clo...