Sciweavers

2038 search results - page 87 / 408
» Improvements to the Psi-SSA representation
Sort
View
IPL
2008
79views more  IPL 2008»
15 years 1 months ago
On the efficient construction of quasi-reversible automata for reversible languages
Quasi-reversible automata is a suitable representation for reversible languages. In this work a method is proposed to obtain such an automaton for any given reversible language re...
Pedro García, Manuel Vazquez de Parga, Dami...
CSDA
2004
119views more  CSDA 2004»
15 years 1 months ago
Bounded optimal knots for regression splines
Using a B-spline representation for splines with knots seen as free variables, the approximation to data by splines improves greatly. The main limitations are the presence of too ...
Nicolas Molinari, Jean-François Durand, Rob...
CORR
2000
Springer
84views Education» more  CORR 2000»
15 years 1 months ago
Differential Invariants under Gamma Correction
This paper presents invariants under gamma correction and similarity transformations. The invariants are local features based on differentials which are implemented using derivati...
Andreas Siebert
126
Voted
IS
2010
15 years 3 days ago
Evaluating ontologies: Towards a cognitive measure of quality
Business process models are an important tool in understanding and improving the efficiency of a business and in the design of information systems. Recent work has evaluated busin...
Joerg Evermann, Jennifer Fang
ICFP
2001
ACM
16 years 1 months ago
Functioning without Closure: Type-Safe Customized Function Representations for Standard ML
The CIL compiler for core Standard ML compiles whole ML programs using a novel typed intermediate language that supports the generation of type-safe customized data representation...
Allyn Dimock, Ian Westmacott, Robert Muller, Frank...