Sciweavers

1919 search results - page 151 / 384
» Recent Extensions to Traviando
Sort
View
CSDA
2006
100views more  CSDA 2006»
15 years 4 months ago
Implementing a class of structural change tests: An econometric computing approach
The implementation of a recently suggested class of structural change tests, which test for parameter instability in general parametric models, in the R language for statistical c...
Achim Zeileis
ENTCS
2006
94views more  ENTCS 2006»
15 years 4 months ago
Reasoning About Partial Functions in the Formal Development of Programs
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...
Cliff B. Jones
IJISTA
2008
99views more  IJISTA 2008»
15 years 4 months ago
Increasing depth lateral resolution based on sensor fusion
Abstract: Technologies for measuring range data were intensively developed in recent years. The time-of-flight matrix range sensor is one of the most active range acquisition devic...
W. Hannemann, André Linarth, B. Liu, Gabrie...
FUIN
2006
89views more  FUIN 2006»
15 years 4 months ago
Recursive Analysis Characterized as a Class of Real Recursive Functions
Recently, using a limit schema, we presented an analog and machine independent algebraic characterization of elementary functions over the real numbers in the sense of recursive a...
Olivier Bournez, Emmanuel Hainry
JASIS
2008
125views more  JASIS 2008»
15 years 4 months ago
A tool for data cube construction from structurally heterogeneous XML documents
Data cubes for OLAP (Online Analytical Processing) often need to be constructed from data located in several distributed and autonomous information sources. Such a data integratio...
Turkka Näppilä, Kalervo Järvelin, T...