3428 search results - page 597 / 686 » Making the Case |
138
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
124
click to vote
FSTTCS
2005
Springer
15 years 10 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
135
Voted
GECCO
2005
Springer
15 years 10 months ago
2005
Springer
Given concentrations of metabolites over a sequence of time steps, the metabolic pathway prediction problem seeks a set of reactions and rate constants for them that could yield t...
148
click to vote
JSSPP
2005
Springer
15 years 10 months ago
2005
Springer
Irregular and iterative I/O-intensive jobs need a different approach from parallel job schedulers. The focus in this case is not only the processing requirements anymore: memory, ...
156
click to vote
KDD
2005
ACM
15 years 10 months ago
2005
ACM
We present a probabilistic model-based framework for distributed learning that takes into account privacy restrictions and is applicable to scenarios where the different sites ha...