Sciweavers

1127 search results - page 123 / 226
» General fuzzy linear systems
Sort
View
INFORMS
1998
150views more  INFORMS 1998»
14 years 11 months ago
Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming
constraint abstractions into integer programming, and to discuss possible combinations of the two approaches. Combinatorial problems are ubiquitous in many real world applications ...
Alexander Bockmayr, Thomas Kasper
LPNMR
2001
Springer
15 years 3 months ago
Bounded LTL Model Checking with Stable Models
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
Keijo Heljanko, Ilkka Niemelä
ESA
2006
Springer
103views Algorithms» more  ESA 2006»
15 years 3 months ago
Greedy in Approximation Algorithms
The objective of this paper is to characterize classes of problems for which a greedy algorithm finds solutions provably close to optimum. To that end, we introduce the notion of k...
Julián Mestre
SIAMSC
2011
126views more  SIAMSC 2011»
14 years 6 months ago
Fast Structured AMG Preconditioning for the Bidomain Model in Electrocardiology
The electrical activity of the heart may be modeled by a non-linear system of partial differential equations known as the bidomain model. Due to the rapid variations in the electr...
Micol Pennacchio, Valeria Simoncini
EMNLP
2009
14 years 9 months ago
K-Best Combination of Syntactic Parsers
In this paper, we propose a linear model-based general framework to combine k-best parse outputs from multiple parsers. The proposed framework leverages on the strengths of previo...
Hui Zhang, Min Zhang, Chew Lim Tan, Haizhou Li