Sciweavers

657 search results - page 83 / 132
» Defining the Problems of Framework Reuse
Sort
View
ICSE
1997
IEEE-ACM
15 years 7 months ago
Introducing Formal Specification Methods in Industrial Practice
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
Luciano Baresi, Alessandro Orso, Mauro Pezzè...
AISC
2008
Springer
15 years 5 months ago
Notations for Living Mathematical Documents
Abstract. Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familia...
Michael Kohlhase, Christine Müller, Florian R...
ICPR
2010
IEEE
15 years 5 months ago
Geodesic Active Fields on the Sphere
In this paper, we propose a novel method to register images defined on spherical meshes. Instances of such spherical images include inflated cortical feature maps in brain medical ...
Dominique Zosso, Jean-Philippe Thiran
DMIN
2006
103views Data Mining» more  DMIN 2006»
15 years 5 months ago
Modeling of the counter-examples and association rules interestingness measures behavior
Association rules discovery is one of the most important tasks in Knowledge Discovery in Data Bases. Since the initial APRIORI algorithm, many efforts have been done in order to de...
Benoît Vaillant, Stéphane Lallich, Ph...
WSCG
2004
199views more  WSCG 2004»
15 years 5 months ago
Expressive Volume Rendering
Accurately and automatically conveying the structure of a volume model is a problem not fully solved by existing volume rendering approaches. Physics-based volume rendering approa...
Penny Rheingans