3552 search results - page 436 / 711 » Proof theory in the abstract |
185
click to vote
CPAIOR
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We propose two algorithms achieving generalized arc consistency for the soft global cardinality constraint with variable-based violation and with value-based violation. T...
155
click to vote
DGCI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Existing theories on shape digitization impose strong constraints on feasible shapes and require error-free measurements. We use Delaunay triangulation and -shapes to pro...
168
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present an approximation theory for the extended answer set semantics, using the concept of an approximation constraint. Intuitively, an approximation constraint, whil...
158
click to vote
EGOV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Most reported literature on evaluation of e-government systems tend to focus on narrow aspects of project design and implementation. The larger context of development and...
160
click to vote
CCA
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. General methods of investigating effectivity on regular Hausdorff (T3) spaces is considered. It is shown that there exists a functor from a category of T3 spaces into a c...