Sciweavers

711 search results - page 69 / 143
» Patterns in the analysis, design and implementation of frame...
Sort
View
SCAM
2005
IEEE
15 years 11 months ago
Pointer Analysis for Source-to-Source Transformations
We present a pointer analysis algorithm designed for source-to-source transformations. Existing techniques for pointer analysis apply a collection of inference rules to a dismantl...
Marcio Buss, Stephen A. Edwards, Bin Yao, Dan G. W...
FM
1999
Springer
107views Formal Methods» more  FM 1999»
15 years 10 months ago
A Formalization of Software Architecture
Software architecture addresses the high level specification, design and analysis of software systems. Formal models can provide essential underpinning for architectural descripti...
John Herbert, Bruno Dutertre, Robert A. Riemenschn...
KDD
2010
ACM
222views Data Mining» more  KDD 2010»
15 years 8 months ago
Large linear classification when data cannot fit in memory
Recent advances in linear classification have shown that for applications such as document classification, the training can be extremely efficient. However, most of the existing t...
Hsiang-Fu Yu, Cho-Jui Hsieh, Kai-Wei Chang, Chih-J...
IEEECGIV
2009
IEEE
15 years 3 months ago
General Shape Grammar Interpreter for Intelligent Designs Generations
Shape grammars play an important role in a new generation of tools for the analysis and design of products. In this work we present a general tool named Shape Grammar Interpreter (...
Tomas Trescak, Inmaculada Rodríguez, Marc E...
PAMI
1998
103views more  PAMI 1998»
15 years 5 months ago
Synchronous Random Fields and Image Restoration
—We propose a general synchronous model of lattice random fields which could be used similarly to Gibbs distributions in a Bayesian framework for image analysis, leading to algor...
Laurent Younes