Sciweavers

6381 search results - page 238 / 1277
» Alternative Implementation of the C
Sort
View
SAC
2006
ACM
15 years 7 months ago
Transforming OCL constraints: a context change approach
Integrity constraints (ICs) play a key role in the definition of conceptual schemas. In the UML, ICs are usually specified as invariants written in the OCL. However, due to the hi...
Jordi Cabot, Ernest Teniente
TSMC
2010
15 years 1 months ago
A Mobile Decision Support System for Dynamic Group Decision-Making Problems
Abstract--The aim of this paper is to present a decision support system model with two important characteristic: 1) mobile technologies are applied in the decision process and 2) t...
Ignacio Javier Pérez, Francisco Javier Cabr...

Source Code
4838views
17 years 6 months ago
Chan-Vese Image Segmentation
A C++ implementation of Chan-Vese paper "Active Contours Without Edges" image segmentation. The program has command line interface.
Pascal Getreuer
ISCOPE
1998
Springer
15 years 11 months ago
An Object-Oriented Collection of Minimum Degree Algorithms
The multiple minimum degree (MMD) algorithm and its variants have enjoyed 20+ years of research and progress in generating ll-reducing orderings for sparse, symmetric positive de n...
Gary Kumfert, Alex Pothen
FATES
2006
Springer
15 years 11 months ago
A Symbolic Framework for Model-Based Testing
Abstract. The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal...
Lars Frantzen, Jan Tretmans, Tim A. C. Willemse