Sciweavers

4650 search results - page 659 / 930
» Generating and evaluating evaluative arguments
Sort
View
ASPDAC
2006
ACM
91views Hardware» more  ASPDAC 2006»
15 years 10 months ago
Fast substrate noise-aware floorplanning with preference directed graph for mixed-signal SOCs
— In this paper, we introduce a novel substrate noise estimation technique during early floorplanning, based on the concept of Block Preference Directed Graph (BPDG) and the cla...
Minsik Cho, Hongjoong Shin, David Z. Pan
CSCW
2006
ACM
15 years 10 months ago
FeedMe: a collaborative alert filtering system
As the number of alerts generated by collaborative applications grows, users receive more unwanted alerts. FeedMe is a general alert management system based on XML feed protocols ...
Shilad Sen, Werner Geyer, Michael J. Muller, Marty...
109
Voted
ISSTA
2006
ACM
15 years 10 months ago
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
Jamieson M. Cobleigh, George S. Avrunin, Lori A. C...
IUI
2006
ACM
15 years 10 months ago
Enabling context-sensitive information seeking
1 Information seeking is an important but often difficult task especially when involving large and complex data sets. We hypothesize that a context-sensitive interaction paradigm c...
Michelle X. Zhou, Keith Houck, Shimei Pan, James S...
125
Voted
JCDL
2006
ACM
167views Education» more  JCDL 2006»
15 years 10 months ago
Combining DOM tree and geometric layout analysis for online medical journal article segmentation
We describe an HTML web page segmentation algorithm, which is applied to segment online medical journal articles (regular HTML and PDF-Converted-HTML files). The web page content ...
Jie Zou, Daniel X. Le, George R. Thoma