4520 search results - page 30 / 904 » Algebraic Techniques for Timed Systems |
164
click to vote
ASIACRYPT
2004
Springer
15 years 11 months ago
2004
Springer
The “XL-algorithm” is a computational method to solve overdetermined systems of polynomial equations which is based on a generalization of the well-known method of linearizatio...
129
click to vote
GECCO
2008
Springer
15 years 7 months ago
2008
Springer
We describe the application of genetic programming (GP) to a problem in pure mathematics, in the study of finite algebras. We document the production of human-competitive results...
179
click to vote
CSB
2005
IEEE
15 years 11 months ago
2005
IEEE
Our paper describes the first provably-efficient algorithm for determining protein structures de novo, solely from experimental data. We show how the global nature of a certain ...
126
click to vote
ASPDAC
2005
ACM
15 years 11 months ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...