1757 search results - page 10 / 352 » Alternating Refinement Relations |
103
click to vote
JUCS
2006
15 years 11 days ago
2006
: We investigate behavioral institutions and refinements in the context of the object oriented paradigm. The novelty of our approach is the application of generalized abstract alge...
90
Voted
MICCAI
2004
Springer
16 years 1 months ago
2004
Springer
Abstract. This paper presents a robust method to correct for intensity differences across a series of aligned stained histological slices. The method is made up of two steps. First...
89
Voted
ICML
2003
IEEE
16 years 1 months ago
2003
IEEE
The use of domain knowledge in a learner can greatly improve the models it produces. However, high-quality expert knowledge is very difficult to obtain. Traditionally, researchers...
87
Voted
FAC
2006
15 years 13 days ago
2006
In modular approaches to specify concurrent systems a system is built up from components using various operators as e.g. the sequential, the parallel, or the choice (+) operator. U...
CORR
2008
Springer
15 years 15 days ago
2008
Springer
Nepomnjascii's Theorem states that for all 0 < 1 and k > 0 the class of languages recognized in nondeterministic time nk and space n , NTISP[nk , n ], is contained in ...