3047 search results - page 516 / 610 » A Temporal Consensus Model |
163
click to vote
RTSS
2000
IEEE
15 years 9 months ago
2000
IEEE
Many industrial applications with real-time demands are composed of mixed sets of tasks with a variety of requirements. These can be in the form of standard timing constraints, su...
136
click to vote
SGP
2007
15 years 7 months ago
2007
We propose an algorithm that performs registration of large sets of unstructured point clouds of moving and deforming objects without computing correspondences. Given as input a s...
204
click to vote
VISSYM
2007
15 years 7 months ago
2007
The dataset generated by a large-scale numerical simulation may include thousands of timesteps and hundreds of variables describing different aspects of the modeled physical pheno...
176
click to vote
CGF
2008
15 years 5 months ago
2008
Currently 3D animation rendering and video compression are completely independent processes even if rendered frames are streamed on-the-fly within a client-server platform. In suc...
197
click to vote
FUIN
2007
15 years 5 months ago
2007
Mazurkiewicz traces form a model for concurrency. Temporal logic st-order logic are important tools in order to deal with the abstract behavior of such systems. Since typical prop...