Sciweavers

1615 search results - page 110 / 323
» Adaptive programming in JAsCo
Sort
View
CASCON
1998
133views Education» more  CASCON 1998»
15 years 4 months ago
JAZZ: an efficient compressed format for Java archive files
The Jazz file format is intended to be a replacement for the JAR file format when used for storage and distribution of Java programs. A Jazz file is compressed to a degree that fa...
Quetzalcoatl Bradley, R. Nigel Horspool, Jan Vitek
BDA
1993
15 years 4 months ago
Querying and Updating the File
We show how structured data stored in files can benefit from standard database technology and in particular be queried and updated using database languages. We introduce the notio...
Serge Abiteboul, Sophie Cluet, Tova Milo
140
Voted
CNL
2009
15 years 4 months ago
The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts
Abstract. This paper discusses the semi-formal language of mathematics and presents the Naproche CNL, a controlled natural language for mathematical authoring. Proof Representation...
Marcos Cramer, Bernhard Fisseni, Peter Koepke, Dan...
155
Voted
ENTCS
2002
127views more  ENTCS 2002»
15 years 3 months ago
A Calculus for "Environment-Aware" Computation
We present a calculus for modelling "environment-aware" computations, that is computations that adapt their behaviour according to the capabilities of the environment. T...
Viviana Bono, Ferruccio Damiani, Paola Giannini
JDCTA
2010
161views more  JDCTA 2010»
14 years 10 months ago
Selection of Wavelet Decomposition Level in Multi-Scale Sensor Data Fusion of MEMS Gyroscope
Because the characteristic of wavelet transform is multi-resolution, their unique advantage of the data model is multi-scale analysis. Then, it's widely used the Wavelet-base...
Ren Ya-fei, Ke Xi-zheng