1805 search results - page 82 / 361 » A Theory of Closure Operators |
162
click to vote
CLA
2007
15 years 5 months ago
2007
Formal Concept Analysis is based on the occurrence of symbolic attributes in individual objects, or observations. But, when the attribute is numeric, treatment has been awkward. In...
115
click to vote
ICPR
2008
IEEE
16 years 5 months ago
2008
IEEE
Belief propagation methods are the state-of-the-art with multi-sensor state localization problems. However, when localization applications have to deal with multi-modality sensors...
122
click to vote
CALCO
2007
Springer
15 years 10 months ago
2007
Springer
We study the equational theory of Timed CCS as proposed by Wang Yi in CONCUR’90. Common to Wang Yi’s paper, we particularly focus on a class of linearly-ordered time domains ex...
123
click to vote
ECBS
2005
IEEE
15 years 10 months ago
2005
IEEE
The high cost of operating large computing installations has motivated a broad interest in reducing the need for human intervention by making systems self-managing. This paper exp...
117
click to vote
COMPSAC
2009
IEEE
15 years 9 months ago
2009
IEEE
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...