Sciweavers

3688 search results - page 479 / 738
» Static analysis of aspects
Sort
View
SAS
1995
Springer
127views Formal Methods» more  SAS 1995»
15 years 10 months ago
Complementation in Abstract Interpretation
ntation in Abstract Interpretation AGOSTINO CORTESI Universit`a di Venezia GILBERTO FIL´E Universit`a di Padova ROBERTO GIACOBAZZI Universit`a di Pisa CATUSCIA PALAMIDESSI Univers...
Agostino Cortesi, Gilberto Filé, Roberto Gi...
ASE
2007
143views more  ASE 2007»
15 years 6 months ago
Composition inference for UML class diagrams
Knowing which associations are compositions is important in a tool for the reverse engineering of UML class diagrams. Firstly, recovery of composition relationships bridges the ga...
Ana Milanova
COMCOM
2011
15 years 1 months ago
Reconstructing social interactions using an unreliable wireless sensor network
In the very active field of complex networks, research advances have largely been stimulated by the availability of empirical data and the increase in computational power needed ...
Adrien Friggeri, Guillaume Chelius, Eric Fleury, A...
IPMI
2003
Springer
16 years 7 months ago
A Unified Statistical and Information Theoretic Framework for Multi-modal Image Registration
We formulate and interpret several registration methods in the context of a unified statistical and information theoretic framework. A unified interpretation clarifies the implici...
John W. Fisher III, Lilla Zöllei, William M. ...
ISBI
2008
IEEE
16 years 7 months ago
Flexible synapse detection in fluorescence micrographs by modeling human expert grading
A particularly difficult task in molecular imaging is the analysis of fluorescence microscopy images of neural tissue, as they usually exhibit a high density of objects with diffu...
Julia Herold, Manuela Friedenberger, Marcus Bode, ...