Sciweavers

1580 search results - page 219 / 316
» CoTeSys - Cognition for Technical Systems
Sort
View
CAISE
2004
Springer
15 years 11 months ago
Towards Computer-aided Design of OCL Constraints
In UML2.0, significant efforts have been devoted towards a better definition of OCL. Still, the adoption of the language by the software engineers remains a significant challenge....
Yves Ledru, Sophie Dupuy-Chessa, Hind Fadil
CLEF
2004
Springer
15 years 11 months ago
ImageCLEF 2004: Combining Image and Multi-lingual Search for Medical Image Retrieval
This article describes the technologies used for the various runs submitted by the University of Geneva in the context of the 2004 ImageCLEF competition. As our expertise is mainly...
Henning Müller, Antoine Geissbühler, Pat...
ECOOP
2004
Springer
15 years 11 months ago
Typestates for Objects
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
Robert DeLine, Manuel Fähndrich
GECCO
2004
Springer
119views Optimization» more  GECCO 2004»
15 years 11 months ago
Learning Environment for Life Time Value Calculation of Customers in Insurance Domain
A critical success factor in Insurance business is its ability to use information sources and contained knowledge in the most effective way. Its profitability is obtained through t...
Andrea Tettamanzi, Luca Sammartino, Mikhail Simono...
VLDB
2004
ACM
103views Database» more  VLDB 2004»
15 years 11 months ago
Distributed Set Expression Cardinality Estimation
We consider the problem of estimating set-expression cardinality in a distributed streaming environment where rapid update streams originating at remote sites are continually tran...
Abhinandan Das, Sumit Ganguly, Minos N. Garofalaki...