1358 search results - page 98 / 272 » Proceedings |
122
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
154
click to vote
EMMCVPR
2007
Springer
15 years 10 months ago
2007
Springer
: We presented and evaluated a new Bayesian method for range image segmentation. The method proceeds in to stages. First, an initial segmentation was produced by a randomized regio...
132
click to vote
FSTTCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes a new algorithm that improves the complexity bound for solving parity games. Our approach combines McNaughton’s iterated fixed point algorithm with...
116
Voted
MONTEREY
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
130
click to vote
VLDB
2007
ACM
15 years 10 months ago
2007
ACM
Structured community portals extract and integrate information from raw Web pages to present a unified view of entities and relationships in the community. In this paper we argue...