874 search results - page 155 / 175 » Computing Weighted Solutions in Answer Set Programming |
120
Voted
COR
2007
15 years 2 months ago
2007
Scheduling under controllable machining conditions has been studied for some time. Scheduling with tool changes, particularly due to tool wear, has just begun to receive attention...
155
click to vote
TJS
2002
15 years 2 months ago
2002
Historically, compilers have operated by applying a fixed set of optimizations in a predetermined order. We call such an ordered list of optimizations a compilation sequence. This...
120
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: The principles of protein folding and evolution pose problems of very high inherent complexity. Often these problems are tackled using simplified protein models, e.g. ...
136
click to vote
JACM
2010
15 years 26 days ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
141
click to vote
MOBIHOC
2009
ACM
16 years 3 months ago
2009
ACM
Cognitive radio networks are emerging as a promising technology for the efficient use of radio spectrum. In these networks, there are two categories of networks on different chann...