10910 search results - page 1987 / 2182 » Input modeling using a computer algebra system |
132
click to vote
UAI
1990
15 years 5 months ago
1990
The intelligent reformulation or restructuring of a belief network can greatly increase the efficiency of inference. However, time expended for reformulation is not available for ...
137
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
134
click to vote
CONCURRENCY
2008
15 years 4 months ago
2008
To provide performant access to data from high energy physics experiments such as the Large Hadron Collider (LHC), controlled replication of files among grid sites is required. Dy...
145
click to vote
SIMULATION
1998
15 years 4 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
160
click to vote
ICPP
2009
IEEE
15 years 2 months ago
2009
IEEE
The emergence of multicore processors raises the need to efficiently transfer large amounts of data between local processes. MPICH2 is a highly portable MPI implementation whose l...