5639 search results - page 685 / 1128 » Timed Abstract Non-interference |
159
click to vote
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In previous research, we presented a dynamicprogramming-based EM (expectation-maximization) algorithm for parameterized logic programs, which is based on the structure sh...
167
Voted
EMSOFT
2004
Springer
15 years 10 months ago
2004
Springer
Separating the description of important aspects of a design such as behavior and architecture, or computation and communication, may yield significant advantages in design time as...
199
click to vote
CLOR
2006
15 years 10 months ago
2006
Abstract. A popular framework for the interpretation of image sequences is the layers or sprite model, see e.g. [1], [2]. Jojic and Frey [3] provide a generative probabilistic mode...
145
click to vote
DAGM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Klassen et al. [9] recently developed a theoretical formulation to model shape dissimilarities by means of geodesics on appropriate spaces. They used the local geometry o...
207
click to vote
DAS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Training and evaluation of techniques for handwriting recognition and retrieval is a challenge given that it is difficult to create large ground-truthed datasets. This is...