Sciweavers

19130 search results - page 324 / 3826
» Modelling multi-path problems
Sort
View
ESANN
2007
15 years 8 months ago
Model collisions in the dissimilarity SOM
We investigate in this paper the problem of model collisions in the Dissimilarity Self Organizing Map (SOM). This extension of the SOM to dissimilarity data suffers from constrain...
Fabrice Rossi
EOR
2006
89views more  EOR 2006»
15 years 6 months ago
Clique-detection models in computational biochemistry and genomics
Many important problems arising in computational biochemistry and genomics have been formulated in terms of underlying combinatorial optimization models. In particular, a number h...
Sergiy Butenko, Wilbert E. Wilhelm
ICIP
2001
IEEE
16 years 8 months ago
Statistical image restoration based on adaptive wavelet models
In this paper, we propose image restoration algorithms based on adaptive wavelet?domain statistical models. We present a method to estimate the model parameters from the observati...
Juan Liu, Pierre Moulin
158
Voted
CADE
2008
Springer
16 years 7 months ago
Model Checking for Stability Analysis in Rely-Guarantee Proofs
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
Hasan Amjad, Richard Bornat
VLDB
2007
ACM
130views Database» more  VLDB 2007»
16 years 7 months ago
Model Management and Schema Mappings: Theory and Practice
We present an overview of a tutorial on model management--an approach to solving data integration problems, such as data warehousing, e-commerce, object-to-relational mapping, sch...
Philip A. Bernstein, Howard Ho