3710 search results - page 483 / 742 » A new calculus of contexts |
155
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
In this paper, we propose the first wire density driven global routing that considers CMP variation and timing. To enable CMP awareness during global routing, we propose a compac...
176
click to vote
ICCAD
2001
IEEE
16 years 3 months ago
2001
IEEE
Methods based on Boolean satisfiability (SAT) typically use a Conjunctive Normal Form (CNF) representation of the Boolean formula, and exploit the structure of the given problem ...
177
click to vote
MMM
2009
Springer
16 years 3 months ago
2009
Springer
In this paper, a novel framework is developed to support personalized news video recommendation. First, multi-modal information sources for news videos are seamlessly integrated an...
175
Voted
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
We present a new technique to prove termination of Term Rewriting Systems, with full automation. A crucial task in this context is to find suitable well-founded orderings. A popul...
179
click to vote
IUI
2009
ACM
16 years 3 months 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...