Sciweavers

4949 search results - page 409 / 990
» Consistency and Set Intersection
Sort
View
IFM
2009
Springer
16 years 2 months ago
Verifying UML/OCL Operation Contracts
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
Jordi Cabot, Robert Clarisó, Daniel Riera
ISNN
2009
Springer
16 years 2 months ago
Use of Ensemble Based on GA for Imbalance Problem
In real-world applications, it has been observed that class imbalance (significant differences in class prior probabilities) may produce an important deterioration of the classifie...
Laura Cleofas, Rosa Maria Valdovinos, Vicente Garc...
SCALESPACE
2009
Springer
16 years 2 months ago
Geodesically Linked Active Contours: Evolution Strategy Based on Minimal Paths
The proposed method is related to parametric and geodesic active contours as well as minimal paths, in the context of image segmentation 1 . Our geodesically linked active contour ...
Julien Mille, Laurent D. Cohen
CIBSE
2009
ACM
16 years 2 months ago
A two-level formal semantics for the QVT language
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
Roxana S. Giandini, Claudia Pons, Gabriela P&eacut...
CDC
2008
IEEE
115views Control Systems» more  CDC 2008»
16 years 2 months ago
Design and performance of in vitro transcription rate regulatory circuits
— This paper proposes a synthetic in vitro circuit that aims at regulating the rate of RNA transcription through positive feedback interactions. This design is dual to a previous...
Elisa Franco, Richard M. Murray