Sciweavers

3098 search results - page 150 / 620
» On distributed smooth scheduling
Sort
View
SAFECOMP
1999
Springer
15 years 10 months ago
Formal Design of Distributed Control Systems with Lustre
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
Paul Caspi, Christine Mazuet, Rym Salem, Daniel We...
ICMCS
2008
IEEE
191views Multimedia» more  ICMCS 2008»
16 years 28 days ago
Hybrid spatial and temporal error concealment for distributed video coding
Distributed Video Coding (DVC) is based on a new paradigm in coding, which has received many interests recently. This paper proposes a hybrid spatial and temporal error concealmen...
Shuiming Ye, Mourad Ouaret, Frédéric...
GI
2001
Springer
15 years 11 months ago
Testing Distributed Component Based Systems Using UML/OCL
We present a pragmatic approach using formal methods to increase the quality of distributed component based systems: Based on UML class diagrams annotated with OCL constraints, co...
Achim D. Brucker, Burkhart Wolff
DCG
2007
79views more  DCG 2007»
15 years 6 months ago
Distance Measures for Well-Distributed Sets
In this paper we investigate the Erd¨os/Falconer distance conjecture for a natural class of sets statistically, though not necessarily arithmetically, similar to a lattice. We pr...
Alex Iosevich, Michael Rudnev
ACCV
2010
Springer
15 years 1 months ago
Continuous Surface-Point Distributions for 3D Object Pose Estimation and Recognition
We present a 3D, probabilistic object-surface model, along with mechanisms for probabilistically integrating unregistered 2.5D views into the model, and for segmenting model instan...
Renaud Detry, Justus H. Piater