Sciweavers

284 search results - page 6 / 57
» Roomy: A System for Space Limited Computations
Sort
View
CSL
2007
Springer
15 years 4 months ago
Game Characterizations and the PSPACE-Completeness of Tree Resolution Space
The Prover/Delayer game is a combinatorial game that can be used to prove upper and lower bounds on the size of Tree Resolution proofs, and also perfectly characterizes the space ...
Alexander Hertel, Alasdair Urquhart
GECCO
2005
Springer
197views Optimization» more  GECCO 2005»
15 years 3 months ago
Performance assessment of an artificial immune system multiobjective optimizer by two improved metrics
In this study, we introduce two improved assessment metrics of multiobjective optimizers, Nondominated Ratio and Spacing Distribution, and analyze their rationality and validity. ...
Maoguo Gong, Licheng Jiao, Haifeng Du, Ronghua Sha...
DATE
2010
IEEE
171views Hardware» more  DATE 2010»
15 years 3 months ago
Automated bottleneck-driven design-space exploration of media processing systems
Abstract—Media processing systems often have limited resources and strict performance requirements. An implementation must meet those design constraints while minimizing resource...
Yang Yang, Marc Geilen, Twan Basten, Sander Stuijk...
96
Voted
INFORMS
1998
142views more  INFORMS 1998»
14 years 9 months ago
Distributed State Space Generation of Discrete-State Stochastic Models
High-level formalisms such as stochastic Petri nets can be used to model complex systems. Analysis of logical and numerical properties of these models often requires the generatio...
Gianfranco Ciardo, Joshua Gluckman, David M. Nicol
ICPR
2008
IEEE
15 years 4 months ago
A fast image retrieval system using index lookup table on mobile device
The development of mobile-based image retrieval system is required for the efficient management about various image data with fast growth of mobile devices. The resource of mobil...
Junyeong Yang, Sanghyuk Park, Hacheon Seong, Hyera...