Sciweavers

4476 search results - page 719 / 896
» A flexible framework for engineering
Sort
View
DAC
2008
ACM
16 years 7 months ago
Parallelizing CAD: a timely research agenda for EDA
The relative decline of single-threaded processor performance, coupled with the ongoing shift towards on chip parallelism requires that CAD applications run efficiently on paralle...
Bryan C. Catanzaro, Kurt Keutzer, Bor-Yiing Su
WWW
2007
ACM
16 years 7 months ago
U-REST: an unsupervised record extraction system
In this paper, we describe a system that can extract record structures from web pages with no direct human supervision. Records are commonly occurring HTML-embedded data tuples th...
Yuan Kui Shen, David R. Karger
SIGMOD
2002
ACM
119views Database» more  SIGMOD 2002»
16 years 6 months ago
Rate-based query optimization for streaming information sources
Relational query optimizers have traditionally relied upon table cardinalities when estimating the cost of the query plans they consider. While this approach has been and continue...
Stratis Viglas, Jeffrey F. Naughton
FOSSACS
2009
Springer
16 years 1 months ago
Coalgebraic Hybrid Logic
Abstract. We introduce a generic framework for hybrid logics, i.e. modal logics additionally featuring nominals and satisfaction operators, thus providing the necessary facilities ...
Rob Myers, Dirk Pattinson, Lutz Schröder
IV
2009
IEEE
222views Visualization» more  IV 2009»
16 years 1 months ago
User-Friendly Ontology Editing and Visualization Tools: The OWLeasyViz Approach
This paper aims to propose solutions to the issue of ontology visualization, by presenting intuitive and userfriendly ontology editing and visualization environments mainly orient...
Nadia Catenazzi, Lorenzo Sommaruga, Riccardo Mazza