Sciweavers

1147 search results - page 182 / 230
» Termination in language-based systems
Sort
View
CEC
2007
IEEE
14 years 4 months ago
Finding trade-off solutions close to KKT points using evolutionary multi-objective optimization
— Despite having a wide-spread applicability of evolutionary optimization procedures over the past few decades, EA researchers still face criticism about the theoretical optimali...
Kalyanmoy Deb, Rahul Tewari, Mayur Dixit, Joydeep ...
DATE
2007
IEEE
86views Hardware» more  DATE 2007»
14 years 4 months ago
Thermally robust clocking schemes for 3D integrated circuits
3D integration of multiple active layers into a single chip is a viable technique that greatly reduces the length of global wires by providing vertical connections between layers....
Mosin Mondal, Andrew J. Ricketts, Sami Kirolos, Ta...
ICDE
2007
IEEE
119views Database» more  ICDE 2007»
14 years 4 months ago
Practical Preference Relations for Large Data Sets
User-defined preferences allow personalized ranking of query results. A user provides a declarative specification of his/her preferences, and the system is expected to use that ...
Kenneth A. Ross, Peter J. Stuckey, Amélie M...
VTC
2007
IEEE
117views Communications» more  VTC 2007»
14 years 4 months ago
Distributed Iterative Detection in an Interference Limited Cellular Network
—This paper presents a novel strategy for interference mitigation in an uplink of high reuse cellular networks through distributive processing. It is proposed that the neighborin...
Shahid Khattak, Gerhard Fettweis
ATAL
2007
Springer
14 years 4 months ago
Enacting protocols by commitment concession
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
Pinar Yolum, Munindar P. Singh