Sciweavers

3179 search results - page 355 / 636
» Applications of PCF Theory
Sort
View
JUCS
2006
126views more  JUCS 2006»
13 years 9 months ago
Behavioral Institutions and Refinements in Generalized Hidden Logics
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
Manuel A. Martins
NA
2008
99views more  NA 2008»
13 years 9 months ago
Nontensorial Clenshaw-Curtis cubature
We extend Clenshaw-Curtis quadrature to the square in a nontensorial way, by using Sloan's hyperinterpolation theory and two families of points recently studied in the framew...
Alvise Sommariva, Marco Vianello, Renato Zanovello
FAC
2007
94views more  FAC 2007»
13 years 9 months ago
Parametric probabilistic transition systems for system design and analysis
Abstract. We develop a model of Parametric Probabilistic Transition Systems, where probabilities associated with transitions may be parameters. We show how to find instances of th...
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo...
MST
2006
96views more  MST 2006»
13 years 9 months ago
Juggling with Pattern Matching
In the late eighties, it was shown that juggling patterns can be described by strings of numbers with fascinating combinatorial properties that have since then been studied by man...
Jean Cardinal, Steve Kremer, Stefan Langerman
PR
2006
65views more  PR 2006»
13 years 9 months ago
Why direct LDA is not equivalent to LDA
In this paper, we present counterarguments against the direct LDA algorithm (D-LDA), which was previously claimed to be equivalent to Linear Discriminant Analysis (LDA). We show f...
Hui Gao, James W. Davis