2845 search results - page 335 / 569 » Constraints over Ontologies |
GECCO
2007
Springer
14 years 4 months ago
2007
Springer
The Unit Commitment Problem (UCP) is the task of finding an optimal turn on and turn off schedule for a group of power generation units over a given time horizon to minimize ope...
PCM
2007
Springer
14 years 4 months ago
2007
Springer
This paper presents a novel frame-layer rate control technique that adaptively determines the frame complexity for bit allocation in order to satisfy the target bit-rate constraint...
VMCAI
2007
Springer
14 years 4 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
WABI
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. The topology of β-sheets is defined by the pattern of hydrogenbonded strand pairing. Therefore, predicting hydrogen bonded strand partners is a fundamental step towards...
WSFM
2007
Springer
14 years 4 months ago
2007
Springer
A “data-aware” web service property is a constraint on the pattern of message exchanges of a workflow where the order of messages and their data content are interdependent. Th...