Sciweavers

2266 search results - page 262 / 454
» Generalizing parametric timing analysis
Sort
View
114
Voted
PEPM
2007
ACM
15 years 6 months ago
Lowering: a static optimization technique for transparent functional reactivity
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
Kimberley Burchett, Gregory H. Cooper, Shriram Kri...
ICDE
2006
IEEE
192views Database» more  ICDE 2006»
15 years 6 months ago
Mining Executive Compensation Data from SEC Filings
In recent years, corporate governance has become a more and more important concern in investment decision-making. As one of the most important factors in evaluating corporate gove...
Chengmin Ding, Ping Chen
METRICS
2005
IEEE
15 years 6 months ago
Visualizing Historical Data Using Spectrographs
Studying the evolution of long lived processes such as the development history of a software system or the publication history of a research community, requires the analysis of a ...
Ahmed E. Hassan, Jingwei Wu, Richard C. Holt
HT
2005
ACM
15 years 6 months ago
Queries as anchors: selection by association
This paper introduces a new method for linking the world view of the search engine user community with that of the search engine itself. This new method is based on collecting and...
Einat Amitay, Adam Darlow, David Konopnicki, Uri W...
91
Voted
GECCO
2005
Springer
126views Optimization» more  GECCO 2005»
15 years 6 months ago
Not all linear functions are equally difficult for the compact genetic algorithm
Estimation of distribution algorithms (EDAs) try to solve an optimization problem by finding a probability distribution focussed around its optima. For this purpose they conduct ...
Stefan Droste