2127 search results - page 187 / 426 » Software Automation |
152
click to vote
DAC
2000
ACM
16 years 7 months ago
2000
ACM
The idea of Force-Directed Scheduling (FDS) was first introduced by Paulin and Knight to minimize the number of resources required in the high-level synthesis of high-throughput A...
234
click to vote
ICAIL
2009
ACM
16 years 1 months ago
2009
ACM
This paper describes a default-logic framework (plausibility schemas) and software tools (Decision ApprenticeTM and Legal ApprenticeTM ) for modeling, guiding and automating the r...
151
click to vote
ACMACE
2005
ACM
16 years 1 days ago
2005
ACM
We study the problem of restricting participation in online games to human players, so they can enjoy the game without interference from automated playing agents known as bots. We...
181
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
Parameterized heuristics abound in computer aided design and verification, and manual tuning of the respective parameters is difficult and time-consuming. Very recent results from ...
196
click to vote
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Mashups are an increasingly popular way to integrate data from multiple web sites to fit a particular need, but it often requires substantial technical expertise to create them. T...