3994 search results - page 55 / 799 » A Linear Logical Framework |
189
Voted
CADE
2011
Springer
14 years 13 days ago
2011
Springer
Abstract. We describe a new algorithm for solving linear integer programming problems. The algorithm performs a DPLL style search for a feasible assignment, while using a novel cut...
107
click to vote
ICTAI
2005
IEEE
15 years 6 months ago
2005
IEEE
Following the framework proposed by Besnard and Hunter for argumentation, this paper aims to propose a logical tool for the generation of new arguments when two formal agents have...
94
Voted
SCALESPACE
2005
Springer
15 years 6 months ago
2005
Springer
Exploration of information content of features that are present in images has led to the development of several reconstruction algorithms. These algorithms aim for a reconstruction...
CISIS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. We focus on discrete event systems with a structure of parallel processing, synchronization, and noconcurrency. We use max-plus algebra, which is an effective approach fo...
ICASSP
2010
IEEE
14 years 11 months ago
2010
IEEE
Least-squares estimation has always been the main approach when applying prediction error methods (PEM) in the identification of linear dynamical systems. Regardless of the estim...