149 search results - page 21 / 30 » A Length-Invariant Hybrid Mix |
CPAIOR
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
ECIS
2000
13 years 10 months ago
2000
This paper evaluates the impact of information sharing strategies on the performance of a supply chain. We consider three forms of information sharing strategies: (1) order informa...
ATVA
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
COR
2008
13 years 8 months ago
2008
Finding a feasible solution to a generic Mixed-Integer Program (MIP) is often a very difficult task. Recently, two heuristic approaches called Feasibility Pump and Local Branching...
ISBI
2011
IEEE
13 years 9 days ago
2011
IEEE
Diffusion tensor imaging has accelerated the study of brain connectivity, but single-tensor diffusion models are too simplistic to model fiber crossing and mixing. Hybrid diffusio...