434 search results - page 59 / 87 » Monadic Bounded Algebras |
AAECC
2010
Springer
13 years 10 months ago
2010
Springer
The aim of this paper is a comprehensive presentation of the geometrical tools which are necessary to prove the correctness of several up to date algorithms with intrinsic complex...
ANOR
2005
13 years 9 months ago
2005
This paper presents a review of advances in the mathematical programming approach to discrete/continuous optimization problems. We first present a brief review of MILP and MINLP f...
TVCG
1998
13 years 9 months ago
1998
This paper presents a new approach to rendering triangular algebraic free form surfaces. A hierarchical subdivision of the surface with associated tight bounding volumes provides ...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
This paper presents new sufficient conditions for exponential stability of switched linear systems under arbitrary switching, which involve the commutators (Lie brackets) among the...
PODS
2012
ACM
12 years 10 days ago
2012
ACM
We study the mergeability of data summaries. Informally speaking, mergeability requires that, given two summaries on two data sets, there is a way to merge the two summaries into ...