Sciweavers

400 search results - page 24 / 80
» Derandomization and Distinguishing Complexity
Sort
View
ISMB
1993
15 years 3 months ago
Representations of Metabolic Knowledge
Construction of electronic repositories of metabolic information is an increasingly active area of research. Encoding detailed knowledge of a complex biological domain requires ï¬...
Peter D. Karp, Monica Riley
IBMRD
2006
58views more  IBMRD 2006»
15 years 1 months ago
Self-adapting numerical software (SANS) effort
The challenge for the development of next generation software is the successful management of the complex computational environment while delivering to the scientist the full powe...
Jack Dongarra, George Bosilca, Zizhong Chen, Victo...
IANDC
2007
117views more  IANDC 2007»
15 years 1 months ago
Computing the edit distance of a regular language
The edit distance (or Levenshtein distance) between two words is the smallest number of substitutions, insertions, and deletions of symbols that can be used to transform one of the...
Stavros Konstantinidis
IJAOSE
2010
126views more  IJAOSE 2010»
14 years 11 months ago
Automated analysis of compositional multi-agent systems
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...
Alexei Sharpanskykh, Jan Treur
POPL
2012
ACM
13 years 9 months ago
Sound predictive race detection in polynomial time
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...
Yannis Smaragdakis, Jacob Evans, Caitlin Sadowski,...