1981 search results - page 270 / 397 » Model-Checking Hierarchical Structures |
CDC
2008
IEEE
14 years 3 months ago
2008
IEEE
— In this paper we employ the theory of partially ordered sets to model and analyze a class of decentralized control problems. We show that posets provide a natural way of modeli...
CLEF
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. This paper provides baseline results for the medical automatic annotation task of CLEF 2007 by applying the image retrieval in medical applications (IRMA)-based algorithm...
GBRPR
2007
Springer
14 years 3 months ago
2007
Springer
We introduce a method for computing homology groups and their generators of a 2D image, using a hierarchical structure i.e. irregular graph pyramid. Starting from an image, a hiera...
MDAI
2007
Springer
14 years 3 months ago
2007
Springer
Formal concept analysis (FCA) is a method of exploratory data analysis. The data is in the form of a table describing relationship between objects (rows) and attributes (columns), ...
XSYM
2007
Springer
14 years 3 months ago
2007
Springer
Nowadays, concurrency control for XML data is a big research problem. There are a number of researchers working on this problem, but most of the proposed methods are based on the ...