3428 search results - page 597 / 686 » Making the Case |
175
click to vote
FOSSACS
2005
Springer
16 years 9 days 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 ...
160
click to vote
FSTTCS
2005
Springer
16 years 9 days 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...
167
click to vote
GECCO
2005
Springer
16 years 9 days 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...
201
click to vote
JSSPP
2005
Springer
16 years 8 days 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, ...
208
click to vote
KDD
2005
ACM
16 years 8 days 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...