1002 search results - page 158 / 201 » Constraint Answer Set Solving |
106
click to vote
ESOP
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
ICWS
2008
IEEE
14 years 11 months ago
2008
IEEE
We study the access control integration problem for web services. Organizations frequently use many services, each with its own access control policies, that must interoperate whi...
HM
2010
Springer
14 years 10 months ago
2010
Springer
In this paper we consider solving a complex real life break scheduling problem. This problem of high practical relevance arises in many working areas, e.g. in air traffic control a...
DAM
2008
14 years 9 months ago
2008
Let G = (V, E) be a graph with vertex set V and edge set E. The k-coloring problem is to assign a color (a number chosen in {1, . . . , k}) to each vertex of G so that no edge has...
JMIV
2008
14 years 9 months ago
2008
Vector fields arise in many problems of computer vision, particularly in non-rigid registration. In this paper, we develop coupled partial differential equations (PDEs) to estimat...