4650 search results - page 659 / 930 » Generating and evaluating evaluative arguments |
163
click to vote
ASPDAC
2006
ACM
16 years 17 days ago
2006
ACM
— 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...
171
click to vote
CSCW
2006
ACM
16 years 17 days ago
2006
ACM
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 ...
139
click to vote
ISSTA
2006
ACM
16 years 16 days ago
2006
ACM
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
161
click to vote
IUI
2006
ACM
16 years 16 days ago
2006
ACM
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...
155
click to vote
JCDL
2006
ACM
16 years 16 days ago
2006
ACM
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 ...