3726 search results - page 200 / 746 » A structured definition of the modeling process |
205
click to vote
IANDC
2006
15 years 7 months ago
2006
We give a coalgebraic formulation of timed processes and their operational semantics. We model time by a monoid called a "time domain", and we model processes by "t...
185
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
Needs of multimedia systems evolved due to the evolution of their architecture which is now distributed into heterogeneous contexts. A critical issue lies in the fact that they ha...
210
click to vote
IJCV
2008
15 years 7 months ago
2008
The recent development of Sequential Monte Carlo methods (also called particle filters) has enabled the definition of efficient algorithms for tracking applications in image sequen...
311
click to vote
HIPC
2009
Springer
15 years 4 months ago
2009
Springer
The significant growth in computational power of modern Graphics Processing Units(GPUs) coupled with the advent of general purpose programming environments like NVIDA's CUDA,...
185
click to vote
JUCS
2006
15 years 7 months ago
2006
: Higher education courses are increasingly created as student organized collections of interrelated modules. At the same time, frequent change of subject matter and knowledge in i...