Sciweavers

149 search results - page 21 / 30
» A Length-Invariant Hybrid Mix
Sort
View
CPAIOR
2008
Springer
15 years 3 months ago
Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
Tino Teige, Martin Fränzle
ECIS
2000
15 years 3 months ago
Evaluating Information Sharing Strategies in Supply Chains
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...
Jingquan Li, Michael J. Shaw, Gek Woo Tan
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
15 years 2 months ago
Using Redundant Constraints for Refinement
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...
Eugene Asarin, Thao Dang, Oded Maler, Romain Testy...
115
Voted
COR
2008
99views more  COR 2008»
15 years 1 months ago
Repairing MIP infeasibility through local branching
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...
Matteo Fischetti, Andrea Lodi
ISBI
2011
IEEE
14 years 5 months ago
Differential information content in staggered multiple shell hardi measured by the tensor distribution function
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...
Liang Zhan, Alex D. Leow, Iman Aganj, Christophe L...