5263 search results - page 331 / 1053 » Open Constraint Optimization |
167
click to vote
DLOG
2009
15 years 2 months ago
2009
Abstract. I will begin by explaining an optimal tableau-based algorithm for checking ALC-satisfiability which uses "global caching" and which appears to work well in prac...
146
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract--The problem of energy-efficient precoding is investigated when the terminals in the system are equipped with multiple antennas. Considering static and fast-fading multipl...
121
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. It it shown that the first-order theory of an automatic structure, whose Gaifman graph has bounded degree, is decidable in doubly exponential space (for injective automa...
141
click to vote
CPAIOR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
142
Voted
ECCV
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. Vision systems for various tasks are increasingly being deployed. Although significant effort has gone into improving the algorithms for such tasks, there has been relati...