Sciweavers

4604 search results - page 767 / 921
» Correlation-based Data Representation
Sort
View
MICAI
2007
Springer
15 years 10 months ago
An EM Algorithm to Learn Sequences in the Wavelet Domain
The wavelet transform has been used for feature extraction in many applications of pattern recognition. However, in general the learning algorithms are not designed taking into acc...
Diego H. Milone, Leandro E. Di Persia
MODELS
2007
Springer
15 years 10 months ago
Model Driven Development of Complex User Interface
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
Xudong Lu, Jiancheng Wan
SMALLTALK
2007
Springer
15 years 10 months ago
Feature driven browsing
Abstract. Development environments typically present the software engineer with a structural perspective of an object-oriented system in terms of packages, classes and methods. Fro...
David Röthlisberger, Orla Greevy, Oscar Niers...
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
15 years 10 months ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon
VISUAL
2007
Springer
15 years 10 months ago
Potentialities of Chorems as Visual Summaries of Geographic Databases Contents
Chorems are schematized representations of territories, and so they can represent a good visual summary of spatial databases. Indeed for spatial decision-makers, it is more importa...
Vincenzo Del Fatto, Robert Laurini, Karla Lopez, R...