2430 search results - page 139 / 486 » Computing Tutte Polynomials |
149
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present ABC, a software tool for automatically computing symbolic upper bounds on the number of iterations of nested program loops. The system combines static analysis...
126
click to vote
RSFDGRC
2005
Springer
15 years 10 months ago
2005
Springer
Pawlak recently introduced rough set flow graphs (RSFGs) as a graphical framework for reasoning from data. Each rule is associated with three coefficients, which have been shown t...
125
Voted
ERCIMDL
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A policy is a statement that an action is permitted or forbidden if certain conditions hold. We introduce a language for reasoning about policies called Rosetta. What mak...
113
click to vote
ISMVL
2002
IEEE
15 years 9 months ago
2002
IEEE
We present the role that spectral methods play in the development of the most impressive quantum algorithms, such as the polynomial time number factoring algorithm by Shor. While ...
123
click to vote
WADS
1995
Springer
15 years 8 months ago
1995
Springer
We examine the problem of transmitting in minimum time a given amount of data between a source and a destination in a network with finite channel capacities and non–zero propaga...