Sciweavers

2286 search results - page 96 / 458
» Algorithms for Categorical Equivalence
Sort
View
TCS
2008
14 years 9 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»
14 years 10 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 1 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»
14 years 10 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 3 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