Sciweavers

354 search results - page 25 / 71
» Towards Automatic Model Generation by Optimization
Sort
View
76
Voted
ICCD
2007
IEEE
124views Hardware» more  ICCD 2007»
15 years 6 months ago
Placement and routing of RF embedded passive designs in LCP substrate
Physical layout generation of RF embedded passive design is not an easy task since the response of a given layout is tightly coupled with the response of the individual components...
Mohit Pathak, Souvik Mukherjee, Madhavan Swaminath...
ECRTS
2002
IEEE
15 years 2 months ago
Managing Multi-Mode Tasks with Time Cost and Quality Levels using Optimal Discrete Control Synthesis
Real-time control systems are complex to design, and automation support is important. We are interested in systems with multiple tasks, each with multiple modes, implementing a fu...
Hervé Marchand, Éric Rutten
SAC
2008
ACM
14 years 9 months ago
Towards a model-driven engineering approach for developing embedded hard real-time software
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
Fabiano Cruz, Raimundo S. Barreto, Lucas Cordeiro
CPAIOR
2010
Springer
14 years 7 months ago
Lazy Clause Generation: Combining the Power of SAT and CP (and MIP?) Solving
Finite domain propagation solving, the basis of constraint programming (CP) solvers, allows building very high-level models of problems, and using highly specific inference encapsu...
Peter J. Stuckey
87
Voted
TMI
2008
109views more  TMI 2008»
14 years 9 months ago
Efficient Multilevel Brain Tumor Segmentation With Integrated Bayesian Model Classification
Abstract-- We present a new method for automatic segmentation of heterogeneous image data that takes a step toward bridging the gap between bottom-up affinity-based segmentation me...
Jason J. Corso, Eitan Sharon, S. Dube, Suzie El-Sa...