17967 search results - page 3469 / 3594 » Functional timing optimization |
139
click to vote
JMLR
2006
15 years 3 months ago
2006
We introduce a computational design for pattern detection based on a tree-structured network of support vector machines (SVMs). An SVM is associated with each cell in a recursive ...
140
click to vote
ENTCS
2007
15 years 3 months ago
2007
Recently, we proposed a general framework for the cost analysis of Java bytecode which can be used for measuring resource usage. This analysis generates, at compile-time, cost rel...
161
click to vote
FMSD
2007
15 years 3 months ago
2007
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
131
click to vote
NAR
2006
15 years 3 months ago
2006
Variable order Markov models and variable order Bayesian trees have been proposed for the recognition of transcription factor binding sites, and it could be demonstrated that they...
159
click to vote
IANDC
2007
15 years 3 months ago
2007
We define reactive simulatability for general asynchronous systems. Roughly, simulatability means that a real system implements an ideal system (specification) in a way that pre...