8499 search results - page 1382 / 1700 » cans 2009 |
236
click to vote
ICFEM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
176
click to vote
ICIAR
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present a new image segmentation method based on energy minimization for iteratively evolving an implicit active contour. Methods for active contour evolution is ...
177
click to vote
ISMIS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. A multi-relational clustering method is presented which can be applied to complex knowledge bases storing resources expressed in the standard Semantic Web languages. It a...
173
click to vote
ISW
2009
Springer
16 years 1 months ago
2009
Springer
While peer-to-peer (P2P) file-sharing is a powerful and cost-effective content distribution model, most paid-for digital-content providers (CPs) use direct download to deliver th...
221
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...