Sciweavers

1816 search results - page 32 / 364
» A New Approach for Solving the Maximum Clique Problem
Sort
View
CORR
2010
Springer
134views Education» more  CORR 2010»
14 years 11 months ago
A Translational Approach to Constraint Answer Set Solving
We present a new approach to enhancing Answer Set Programming (ASP) with Constraint Processing techniques which allows for solving interesting Constraint Satisfaction Problems in ...
Christian Drescher, Toby Walsh
VTC
2006
IEEE
118views Communications» more  VTC 2006»
15 years 5 months ago
A Space-Time based Approach to Solving the Gain Asymmetry in MIMO ad hoc Networks
— The problem of gain asymmetry in MIMO ad-hoc networks is outlined and the solutions proposed in literature are surveyed. The protocol in [1] approach is analyzed and its delay ...
Francesco Rossetto, Michele Zorzi
CAD
2010
Springer
14 years 12 months ago
A non-rigid cluster rewriting approach to solve systems of 3D geometric constraints
We present a new constructive solving approach for systems of 3D geometric constraints. The solver is based on the cluster rewriting approach, which can efficiently solve large sy...
Hilderick A. van der Meiden, Willem F. Bronsvoort
DATE
1998
IEEE
93views Hardware» more  DATE 1998»
15 years 4 months ago
Exact and Approximate Estimation for Maximum Instantaneous Current of CMOS Circuits
We present an integer-linear-programming-based approach for estimating the maximum instantaneous current through the power supply lines for CMOS circuits. It produces the exact so...
Yi-Min Jiang, Kwang-Ting Cheng
ECAI
2000
Springer
15 years 4 months ago
Focusing Search by Using Problem Solving Experience
Case-based reasoning (CBR) aims at using experience from the past in order to guide future problem solving rather than “starting from scratch” every time. We propose a CBR stra...
Eyke Hüllermeier