Sciweavers

1161 search results - page 102 / 233
» Kinetic Dependence Graphs
Sort
View
105
Voted
APPROX
2005
Springer
104views Algorithms» more  APPROX 2005»
15 years 6 months ago
On the Error Parameter of Dispersers
Optimal dispersers have better dependence on the error than optimal extractors. In this paper we give explicit disperser constructions that beat the best possible extractors in so...
Ronen Gradwohl, Guy Kindler, Omer Reingold, Amnon ...
CSMR
2000
IEEE
15 years 5 months ago
Analyzing Java Software by Combining Metrics and Program Visualization
Shimba, a prototype reverse engineering environment, has been built to support the understanding of Java software. Shimba uses Rigi and SCED to analyze, visualize, and explore the...
Tarja Systä, Ping Yu, Hausi A. Müller
121
Voted
AAAI
2008
15 years 3 months ago
Limits and Possibilities of BDDs in State Space Search
This paper investigates the impact of symbolic search for solving domain-independent action planning problems with binary decision diagrams (BDDs). Polynomial upper and exponential...
Stefan Edelkamp, Peter Kissmann
89
Voted
ACL
2006
15 years 2 months ago
Polarized Unification Grammars
This paper proposes a generic mathematical formalism for the combination of various structures: strings, trees, dags, graphs and products of them. The polarization of the objects ...
Sylvain Kahane
104
Voted
IANDC
2008
213views more  IANDC 2008»
15 years 21 days ago
Decision problem for shuffled genes
We consider a permutation-based model for the gene assembly process in ciliates. We give a procedure to decide whether a given micronuclear molecules may be assembled by using onl...
Ion Petre, Vladimir Rogojin