Sciweavers

4476 search results - page 344 / 896
» A flexible framework for engineering
Sort
View
AE
2003
Springer
15 years 10 months ago
ParaDisEO-Based Design of Parallel and Distributed Evolutionary Algorithms
ParaDisEO is a framework dedicated to the design of parallel and distributed metaheuristics including local search methods and evolutionary algorithms. This paper focuses on the la...
Sébastien Cahon, Nordine Melab, El-Ghazali ...
FMCAD
2000
Springer
15 years 10 months ago
A Methodology for Large-Scale Hardware Verification
Abstract. We present a formal verification methodology for datapathdominated hardware. This provides a systematic but flexible framework within which to organize the activities und...
Mark Aagaard, Robert B. Jones, Thomas F. Melham, J...
APWEB
2008
Springer
15 years 9 months ago
Traceable P2P Record Exchange Based on Database Technologies
Information exchanges in P2P networks have become very popular in recent years. However, tracing how data circulates between peers and how data modifications are performed during t...
Fengrong Li, Yoshiharu Ishikawa
ACL
2008
15 years 8 months ago
SIDE: The Summarization Integrated Development Environment
In this type-II demo, we introduce SIDE1 (the Summarization Integrated Development Environment), an infrastructure that facilitates construction of summaries tailored to the needs...
Moonyoung Kang, Sourish Chaudhuri, Mahesh Joshi, C...
BILDMED
2008
188views Algorithms» more  BILDMED 2008»
15 years 8 months ago
4D Endocardial Segmentation Using Spatio-temporal Appearance Models and Level Sets
In this paper a framework for the segmentation of cardiac MR image sequences using spatio-temporal appearance models is presented. The method splits the 4D space into 2 separate su...
Karl D. Fritscher, Rainer Schubert