Sciweavers

4880 search results - page 204 / 976
» Manuals as Structured Programs
Sort
View
IFIP
2004
Springer
15 years 9 months ago
Tailoring Recursion to Characterize Non-Deterministic Complexity Classes over Arbitrary Structures
We provide machine-independent characterizations of some complexity classes, over an arbitrary structure, in the model of computation proposed by L. Blum, M. Shub and S. Smale. We ...
Olivier Bournez, Felipe Cucker, Paulin Jacob&eacut...
ADL
2000
Springer
252views Digital Library» more  ADL 2000»
15 years 8 months ago
Audio Structuring and Personalized Retrieval Using Ontologies
The goal of this work is to improve the accuracy (precision and recall) and communication effectiveness of a database system response to a user information request, by utilizing a...
Latifur Khan, Dennis McLeod
ASAP
1996
IEEE
90views Hardware» more  ASAP 1996»
15 years 8 months ago
Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations
The Alpha language, based on systems of affine recurrence equations over polyhedral domains, allows the expression of complex algorithms as hierarchical, parameterized structures ...
Florent de Dinechin, Sophie Robert
ICSE
1997
IEEE-ACM
15 years 8 months ago
Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis
We apply mathematical concept analysis in order to modularize legacy code. By analysing the relation between procedures and global variables, a so-called concept lattice is constr...
Christian Lindig, Gregor Snelting
EUROSYS
2007
ACM
15 years 7 months ago
Integrating aspect-orientation and structural annotations to support adaptive middleware
To anticipate or not to anticipate -- that is the question, regarding adaptive middleware in the area of ubiquitous computing. Anticipation can guarantee that both the adapted and...
Holger Mügge, Tobias Rho, Armin B. Cremers