8828 search results - page 1143 / 1766 » Formal methods in practice |
180
click to vote
EDBT
2002
ACM
16 years 7 months ago
2002
ACM
Maintaining statistics on multidimensional data distributions is crucial for predicting the run-time and result size of queries and data analysis tasks with acceptable accuracy. To...
180
click to vote
SDM
2009
SIAM
16 years 4 months ago
2009
SIAM
We show the underpinnings of a method for summarizing documents: it ingests a document and automatically highlights a small set of sentences that are expected to cover the differ...
200
click to vote
ECIR
2009
Springer
16 years 4 months ago
2009
Springer
Many different ranking algorithms based on content and context have been used in web search engines to find pages based on a user query. Furthermore, to achieve better performance ...
176
click to vote
ICCAD
2005
IEEE
16 years 4 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
175
Voted
ICCAD
2001
IEEE
16 years 4 months ago
2001
IEEE
— Modern sub-micron VLSI designs include huge power grids that are required to distribute large amounts of current, at increasingly lower voltages. The resulting voltage drop on ...