5350 search results - page 797 / 1070 » Space and time in eco-ontologies |
182
click to vote
LPNMR
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. The recently proposed notion of an elementary set yielded a refinement of the theorem on loop formulas, telling us that the stable models of a disjunctive logic program ...
196
click to vote
PDCAT
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Survivable network design has become increasingly important due to the need for reliable communication service. Its main purpose is to provide cost-efficient spare capaci...
149
click to vote
SAT
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Symmetry occurs naturally in many computational problems. The use of symmetry breaking techniques for solving search problems reduces the search space and therefore is ex...
175
click to vote
SCOPES
2007
Springer
16 years 23 days ago
2007
Springer
Embedded consumer devices are increasing their capabilities and can now implement new multimedia applications reserved only for powerful desktops a few years ago. These applicatio...
143
click to vote
STACS
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. We give a characterization, in terms of computational complexity, of the family Rec1 of the unary picture languages that are tiling recognizable. We introduce quasi-unary...