2286 search results - page 285 / 458 » Algorithms for Categorical Equivalence |
150
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
In this paper we present a novel algorithm to identify LPV systems with affine parameter dependence operating under open and closed-loop conditions. A factorization is introduced w...
201
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
188
click to vote
DGCI
2008
Springer
15 years 8 months ago
2008
Springer
Toric spaces being non-simply connected, it is possible to find in such spaces some loops which are not homotopic to a point: we call them toric loops. Some applications, such as t...
154
click to vote
DLT
2007
15 years 8 months ago
2007
The canonical coding partition of a set of words is the finest partition such that the words contained in at least two factorizations of a same sequence belong to a same class. In...
157
click to vote
AAAI
2006
15 years 8 months ago
2006
Some search problems are most directly specified by boolean combinations of pseudo-boolean constraints. We study a logic PL(PB) whose formulas are of this form, and design local-s...