2976 search results - page 309 / 596 » On the bounded integer programming |
192
click to vote
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
105
click to vote
ASPDAC
2005
ACM
15 years 6 months ago
2005
ACM
— Circuit placement has a large impact on all aspects of performance; speed, power consumption, reliability, and cost are all affected by the physical locations of interconnected...
135
click to vote
CSCWD
2008
Springer
15 years 6 months ago
2008
Springer
In the domain of collaborative diagnosis which joined with multi-resource, on account of equipment's complexity and diagnosis resource's heterogeneous, diagnosis task all...
128
click to vote
AAAI
2010
15 years 6 months ago
2010
This paper presents a technique for approximating, up to any precision, the set of subgame-perfect equilibria (SPE) in repeated games with discounting. The process starts with a s...
122
click to vote
EMNLP
2007
15 years 6 months ago
2007
Sentence compression holds promise for many applications ranging from summarisation to subtitle generation and subtitle generation. The task is typically performed on isolated sen...