Sciweavers

569 search results - page 27 / 114
» Using Constraints for Exploring Catalogs
Sort
View
GECCO
2005
Springer
170views Optimization» more  GECCO 2005»
14 years 2 months ago
Multiobjective shape optimization with constraints based on estimation distribution algorithms and correlated information
A new approach based on Estimation Distribution Algorithms for constrained multiobjective shape optimization is proposed in this article. Pareto dominance and feasibility rules ar...
Sergio Ivvan Valdez Peña, Salvador Botello ...
GECCO
2007
Springer
149views Optimization» more  GECCO 2007»
14 years 3 months ago
Environment as a spatial constraint on the growth of structural form
We explore the use of the developmental environment as a spatial constraint on a model of Artificial Embryogeny, applied to the growth of structural forms. A Deva model is used t...
Taras Kowaliw, Peter Grogono, Nawwaf N. Kharma
CAV
2011
Springer
207views Hardware» more  CAV 2011»
13 years 17 days ago
Interactive Synthesis of Code Snippets
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
Tihomir Gvero, Viktor Kuncak, Ruzica Piskac
INFOCOM
2010
IEEE
13 years 7 months ago
Distributed Opportunistic Scheduling for Ad-Hoc Communications Under Delay Constraints
—With the convergence of multimedia applications and wireless communications, there is an urgent need for developing new scheduling algorithms to support real-time traffic with ...
Sheu-Sheu Tan, Dong Zheng, Junshan Zhang, James R....
ICSOC
2003
Springer
14 years 2 months ago
E-healthcare via Customized Information Services: Addressing the Need for Factually Consistent Information
Abstract. Web portals provide an efficient gateway to a broad range of Eservices, resources and information. Web portals need to evolve towards being adaptive in nature, so that th...
Syed Sibte Raza Abidi, Yong Han Chong