8094 search results - page 317 / 1619 » Improvements in Formula Generalization |
128
click to vote
JAT
2007
15 years 6 months ago
2007
We present a generalization of multiple orthogonal polynomials of type I and type II, which we call multiple orthogonal polynomials of mixed type. Some basic properties are formul...
280
click to vote
ENTCS
2002
15 years 5 months ago
2002
Elf is a general meta-language for the specification and implementation of logical systems in the style of the logical framework LF. Proof search in this framework is based on the...
137
click to vote
JSYML
2002
15 years 5 months ago
2002
A computably enumerable (c.e.) degree is a maximal contiguous degree if it is contiguous and no c.e. degree strictly above it is contiguous. We show that there are infinitely many ...
149
Voted
TCS
2002
15 years 5 months ago
2002
We consider the timed automata model of [3], which allows the analysis of realtime systems expressed in terms of quantitative timing constraints. Traditional approaches to real-ti...
225
Voted
QUESTA
2008
15 years 5 months ago
2008
We introduce the Conditional Mean Value Analysis (CMVA) algorithm, an exact solution method for product-form load-dependent closed queueing networks that provides a numerically st...