2476 search results - page 389 / 496 » Faceted Knowledge Representation |
111
Voted
ICCAD
2007
IEEE
16 years 12 days ago
2007
IEEE
—As the 193nm lithography is likely to be used for 45nm and even 32nm processes, much more stringent requirement will be posed on Optical Proximity Correction (OPC) technologies....
118
Voted
ICCAD
2006
IEEE
16 years 12 days ago
2006
IEEE
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...
114
Voted
IUI
2009
ACM
16 years 12 days ago
2009
ACM
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...
127
Voted
IUI
2009
ACM
16 years 12 days ago
2009
ACM
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...
123
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
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...