920 search results - page 129 / 184 » Generating Satisfiable Problem Instances |
138
click to vote
UIST
1997
ACM
15 years 6 months ago
1997
ACM
We propose interactive beautification, a technique for rapid geometric design, and introduce the technique and its algorithm with a prototype system Pegasus. The motivation is to ...
103
click to vote
IJES
2006
15 years 2 months ago
2006
Embedded real-time systems must satisfy not only logical functional requirements but also para-functional properties such as timeliness, Quality of Service (QoS) and reliability. W...
230
click to vote
ICDE
2008
IEEE
16 years 3 months ago
2008
IEEE
The application of frequent patterns in classification has demonstrated its power in recent studies. It often adopts a two-step approach: frequent pattern (or classification rule) ...
120
Voted
JSA
2000
15 years 2 months ago
2000
Scheduling DAGs with communication times is the theoretical basis for achieving efficient parallelism on distributed memory systems. We generalize Graham's task-level in a ma...
222
Voted
SIGMOD
2009
ACM
16 years 2 months ago
2009
ACM
Research has investigated mappings among data sources under two perspectives. On one side, there are studies of practical tools for schema mapping generation; these focus on algor...