1390 search results - page 70 / 278 » On the Algebraic Structure of Convergence |
197
click to vote
CISC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In 2002, algebraic attacks using overdefined systems of equations have been proposed as a potentially very powerful cryptanalysis technique against block ciphers. However...
171
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Coalgebras provide a uniform framework for the semantics of a large class of (mostly non-normal) modal logics, including e.g. monotone modal logic, probabilistic and graded modal l...
184
click to vote
SCP
2010
15 years 4 months ago
2010
Feature-Oriented Software Development provides a multitude of formalisms, methods, languages, and tools for building variable, customizable, and extensible software. Along differe...
156
click to vote
ENTCS
2006
15 years 6 months ago
2006
The problem of obtaining small conflict clauses in SMT systems has received a great deal of attention recently. We report work in progress to find small subsets of the current par...
160
click to vote
SC
2000
ACM
15 years 10 months ago
2000
ACM
Algebraic multigrid methods offer the hope that multigrid convergence can be achieved (for at least some important applications) without a great deal of effort from engineers an...