879 search results - page 46 / 176 » A Constraint Programming Approach for the Service Consolidat... |
129
click to vote
CORR
1998
Springer
15 years 7 days ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
104
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
In this paper, we develop a new approach to the robust beamforming for general-rank signal models. Our method is based on the worst-case performance optimization using a semi-de n...
ICDCSW
2002
IEEE
15 years 5 months ago
2002
IEEE
One of the problems faced by large, global organizations and enterprises is to effectively enable their employees to collaborate across locations. People need collaborative work s...
87
Voted
HM
2010
Springer
15 years 1 months ago
2010
Springer
The problem of designing workforce shifts and break patterns is a relevant employee scheduling problem that arises in many contexts, especially in service industries. The issue is ...
113
Voted
VLSID
2002
IEEE
16 years 28 days ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...