Sciweavers

2286 search results - page 96 / 458
» Algorithms for Categorical Equivalence
Sort
View
TCS
2008
15 years 6 months ago
Algorithms for subsequence combinatorics
A subsequence is obtained from a string by deleting any number of characters; thus in contrast to a substring, a subsequence is not necessarily a contiguous part of the string. Co...
Cees H. Elzinga, Sven Rahmann, Hui Wang
BIOINFORMATICS
2010
84views more  BIOINFORMATICS 2010»
15 years 6 months ago
partDSA: deletion/substitution/addition algorithm for partitioning the covariate space in prediction
The partDSA package (Molinaro, Lostritto, and Weston 2009) provides a novel recursive partitioning tool for prediction when numerous variables jointly affect the outcome. In such ...
Annette M. Molinaro, Karen Lostritto, Mark J. van ...
COLT
2006
Springer
15 years 10 months ago
Efficient Learning Algorithms Yield Circuit Lower Bounds
We describe a new approach for understanding the difficulty of designing efficient learning algorithms. We prove that the existence of an efficient learning algorithm for a circui...
Lance Fortnow, Adam R. Klivans
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 6 months ago
Algorithmic Verification of Single-Pass List Processing Programs
We introduce streaming data string transducers that map input data strings to output data strings in a single left-to-right pass in linear time. Data strings are (unbounded) seque...
Rajeev Alur, Pavol Cerný
ISPD
2003
ACM
151views Hardware» more  ISPD 2003»
15 years 11 months ago
Capturing crosstalk-induced waveform for accurate static timing analysis
We propose a method to capture crosstalk-induced noisy waveform for crosstalk-aware static timing analysis. The effects of capacitive coupling noise on timing are conventionally m...
Masanori Hashimoto, Yuji Yamada, Hidetoshi Onodera