Sciweavers

2409 search results - page 381 / 482
» Corpus-Based Knowledge Representation
Sort
View
ICCAD
2006
IEEE
95views Hardware» more  ICCAD 2006»
15 years 6 months ago
Robust estimation of parametric yield under limited descriptions of uncertainty
Reliable prediction of parametric yield for a specific design is difficult; a significant reason is the reliance of the yield estimation methods on the hard-to-measure distributio...
Wei-Shen Wang, Michael Orshansky
IUI
2009
ACM
15 years 6 months ago
Structuring and manipulating hand-drawn concept maps
Concept maps are an important tool to knowledge organization, representation, and sharing. Most current concept map tools do not provide full support for hand-drawn concept map cr...
Yingying Jiang, Feng Tian, XuGang Wang, Xiaolong Z...
IUI
2009
ACM
15 years 6 months ago
Rich interfaces for reading news on the web
Using content-specific models to guide information retrieval and extraction can provide richer interfaces to endusers for both understanding the context of news events and navigat...
Earl J. Wagner, Jiahui Liu, Larry Birnbaum, Kennet...
TACAS
2010
Springer
191views Algorithms» more  TACAS 2010»
15 years 5 months ago
Blocked Clause Elimination
Boolean satisfiability (SAT) and its extensions are becoming a core technology for the analysis of systems. The SAT-based approach divides into three steps: encoding, preprocessin...
Matti Järvisalo, Armin Biere, Marijn Heule
SI3D
2009
ACM
15 years 4 months ago
Multiscale 3D navigation
We present a comprehensive system for multiscale navigation of 3-dimensional scenes, and demonstrate our approach on multiscale datasets such as the Earth. Our system incorporates...
James McCrae, Igor Mordatch, Michael Glueck, Azam ...