3624 search results - page 400 / 725 » Abstract Algebraic Logic |
171
click to vote
ADG
2006
Springer
16 years 21 days ago
2006
Springer
Abstract. We propose an algorithm for automated recognition of computationally constructed curves and discuss several aspects of the recognition problem. Recognizing loci means det...
159
click to vote
COMPGEOM
2006
ACM
16 years 21 days ago
2006
ACM
Abstract This paper describes an algorithm for generating a guaranteed intersectionfree interpolation sequence between any pair of compatible polygons. Our algorithm builds on prio...
174
click to vote
BIRTHDAY
2005
Springer
16 years 8 days ago
2005
Springer
The paper introduces a novel approach to the synthesis of labelled transition systems for calculi with name mobility. The proposal is based on a graphical encoding: Each process is...
177
click to vote
FSE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Algebraic attacks on stream ciphers apply (at least theoretically) to all LFSR-based stream ciphers that are clocked in a simple and/or easily predictable way. One intere...
205
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...