1902 search results - page 197 / 381 » Differential Dynamic Logics |
178
click to vote
ENTCS
2002
15 years 6 months ago
2002
In this paper we show that it is possible to model observable behaviour of coalgebras independently from their internal dynamics, but within the general framework of representing ...
175
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper we present a probabilistic framework for tracking objects based on local dynamic segmentation. We view the segn to be a Markov labeling process and abstract it as a ...
185
click to vote
PERCOM
2004
ACM
16 years 6 months ago
2004
ACM
In distributed systems, transcoding techniques have been used to customize multimedia objects, utilizing trade-offs between the quality and sizes of these objects to provide diffe...
149
click to vote
EVOW
2009
Springer
16 years 1 months ago
2009
Springer
This paper introduces a novel approach to generating audio or visual heterogeneity by simulating multi-level habitat formation by ecosystemengineer organisms. Ecosystem engineers g...
171
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— This paper presents a standing balance controller. We employ a library of optimal trajectories and the neighboring optimal control method to generate local approximations to th...