14360 search results - page 2416 / 2872 » Time Modeling in MARTE |
219
click to vote
NMR
2004
Springer
16 years 6 days ago
2004
Springer
Probabilistic reasoning with multiply sectioned Bayesian networks (MSBNs) has been successfully applied in static domains under the cooperative multiagent paradigm. Probabilistic ...
200
Voted
NMR
2004
Springer
16 years 6 days ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
200
Voted
PARA
2004
Springer
16 years 6 days ago
2004
Springer
During the last half-decade, a number of research efforts have centered around developing software for generating automatically tuned matrix multiplication kernels. These include ...
184
Voted
PPSN
2004
Springer
16 years 6 days ago
2004
Springer
It is typical for the EA community that theory follows experiments. Most theoretical approaches use some model of the considered evolutionary algorithm (EA) but there is also some ...
232
click to vote
SCOPES
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...