Sciweavers

10700 search results - page 247 / 2140
» Generative Design Patterns
Sort
View
GBRPR
2007
Springer
15 years 9 months ago
Computing Homology Group Generators of Images Using Irregular Graph Pyramids
We introduce a method for computing homology groups and their generators of a 2D image, using a hierarchical structure i.e. irregular graph pyramid. Starting from an image, a hiera...
Samuel Peltier, Adrian Ion, Yll Haxhimusa, Walter ...
114
Voted
FM
1997
Springer
174views Formal Methods» more  FM 1997»
15 years 6 months ago
A Proof Obligation Generator for VDM-SL
In this paper an extension of the IFAD VDM-SL Toolbox with a proof obligation generator is described. Static type checking in VDM is undecidable in general and therefore the type c...
Bernhard K. Aichernig, Peter Gorm Larsen
96
Voted
HASE
2007
IEEE
15 years 9 months ago
Pattern-Based Modeling and Analysis of Failsafe Fault-Tolerance in UML
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
Ali Ebnenasir, Betty H. C. Cheng
ICALT
2006
IEEE
15 years 8 months ago
CSCL Scripting Patterns: Hierarchical Relationships and Applicability
The use of patterns in e-learning is being recently proposed with different purposes and scopes. This paper provides a unifying view of several representative proposals in order t...
Davinia Hernández Leo, Eloy D. Villasclaras...
105
Voted
ICDM
2006
IEEE
113views Data Mining» more  ICDM 2006»
15 years 8 months ago
Mining Maximal Generalized Frequent Geographic Patterns with Knowledge Constraints
In frequent geographic pattern mining a large amount of patterns is well known a priori. This paper presents a novel approach for mining frequent geographic patterns without assoc...
Vania Bogorny, João Francisco Valiati, Sand...