4428 search results - page 303 / 886 » The Chow Parameters Problem |
173
click to vote
ICDT
2007
ACM
16 years 28 days ago
2007
ACM
Stay macro tree transducers (smtts) are an expressive formalism for reasoning about XSLT-like document transformations. Here, we consider the exact type checking problem for smtts....
171
click to vote
HICSS
2006
IEEE
16 years 25 days ago
2006
IEEE
The resource decisions in software project using cost models do not satisfy managerial decision, as it does not support trade-off analysis among resources. A Bayesian net approach...
168
Voted
ICCD
2005
IEEE
16 years 11 days ago
2005
IEEE
— In this work we investigate the buffer insertion problem under process variations. Sub 100-nm fabrication process causes significant variations on many design parameters. We p...
198
click to vote
GECCO
2005
Springer
16 years 9 days ago
2005
Springer
In order to maintain a reliable and economic electric power supply, the maintenance of power plants is becoming increasingly important. In this paper, a formulation that enables a...
166
click to vote
GECCO
2004
Springer
16 years 4 days ago
2004
Springer
Application-specific, parameterized local search algorithms (PLSAs), in which optimization accuracy can be traded off with runtime, arise naturally in many optimization contexts....