4335 search results - page 750 / 867 » Privatizing Constraint Optimization |
DAC
1995
ACM
15 years 5 months ago
1995
ACM
— Software components for embedded reactive real-time applications must satisfy tight code size and runtime constraints. Cooperating finite state machines provide a convenient i...
103
click to vote
ICCAD
1995
IEEE
15 years 5 months ago
1995
IEEE
—A problem in technology mapping is that the quality of the final implementation depends significantly on the initially provided circuit structure. This problem is critical, es...
133
click to vote
ICLP
1995
Springer
15 years 5 months ago
1995
Springer
Equational theories underly many elds of computing, including functional programming, symbolic algebra, theorem proving, term rewriting and constraint solving. In this paper we sh...
144
click to vote
OGAI
1991
15 years 5 months ago
1991
The task of the knowledge-based presentation system WIP is the generation of a variety of multimodal documents from an input consisting of a formal description of the communicativ...
KDD
2010
ACM
15 years 5 months ago
2010
ACM
Many real-world data mining tasks require the achievement of two distinct goals when applied to unseen data: first, to induce an accurate preference ranking, and second to give g...