3994 search results - page 703 / 799 » A Linear Logical Framework |
136
click to vote
ASPDAC
2008
ACM
15 years 6 months ago
2008
ACM
Nowadays a placement problem often involves multi-million objects and excessive fixed blockages. We present a new global placement algorithm that scales well to the modern large-s...
188
Voted
ITP
2010
15 years 6 months ago
2010
Lebesgue integration is a fundamental concept in many mathematical theories, such as real analysis, probability and information theory. Reported higher-order-logic formalizations o...
125
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Topic representation mismatch is a key problem in topic-oriented summarization for the specified topic is usually too short to understand/interpret. This paper proposes a novel ad...
133
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
Many of the recently proposed algorithms for learning feature-based ranking functions are based on the pairwise preference framework, in which instead of taking documents in isola...
152
click to vote
CP
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Call control features (e.g., call-divert, voice-mail) are primitive options to which users can subscribe off-line to personalise their service. The configuration of a fea...