4166 search results - page 205 / 834 » Automating the constraining process |
115
click to vote
ISPW
2008
IEEE
15 years 9 months ago
2008
IEEE
Most process models calibrate their internal settings using historical data. Collecting this data is expensive, tedious, and often an incomplete process. Is it possible to make acc...
109
click to vote
DAC
2006
ACM
16 years 4 months ago
2006
ACM
Design space exploration during high level synthesis is often conducted through ad-hoc probing of the solution space using some scheduling algorithm. This is not only time consumi...
110
click to vote
CICLING
2010
Springer
15 years 10 months ago
2010
Springer
Automated evaluation is crucial in the context of automated text summaries, as is the case with evaluation of any of the language technologies. While the quality of a summary is de...
137
click to vote
ICCS
2001
Springer
15 years 7 months ago
2001
Springer
The Sisyphus-I initiative consists of a constraint satisfaction problem in which a group of people in a research environment must be allocated rooms. Numerous constraints are detai...
135
click to vote
SAC
2010
ACM
15 years 10 months ago
2010
ACM
Byzantine consensus in asynchronous message-passing systems has been shown to require at least 3f + 1 processes to be solvable in several system models (e.g., with failure detecto...