2266 search results - page 158 / 454 » Generalizing parametric timing analysis |
92
Voted
LREC
2010
15 years 5 months ago
2010
This paper describes general requirements for evaluating and documenting NLP tools with a focus on morphological analysers and the design of a Gold Standard. It is argued that any...
154
click to vote
IJFCS
2008
15 years 3 months ago
2008
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
136
click to vote
IVC
2007
15 years 3 months ago
2007
We consider simple cube-curves in the orthogonal 3D grid of cells. The union of all cells contained in such a curve (also called the tube of this curve) is a polyhedrally bounded s...
143
click to vote
CVPR
2012
IEEE
13 years 5 months ago
2012
IEEE
Longitudinal data arises in many applications in which the goal is to understand changes in individual entities over time. In this paper, we present a method for analyzing longitu...
125
click to vote
ICML
2004
IEEE
16 years 4 months ago
2004
IEEE
We introduce a framework, which we call Divide-by-2 (DB2), for extending support vector machines (SVM) to multi-class problems. DB2 offers an alternative to the standard one-again...