3724 search results - page 171 / 745 » Timed regular expressions |
166
Voted
CVPR
2011
IEEE
15 years 20 days ago
2011
IEEE
We introduce a novel type of total variation regularizer, TVS1 , for cyclic structures such as angles or hue values. The method handles the periodicity of values in a simple and c...
147
Voted
WDAG
1994
Springer
15 years 8 months ago
1994
Springer
This paper investigates how vector time can be used to set breakpoints in distributed computations for the purpose of analyzing and debugging distributed programs. A breakpoint is ...
140
click to vote
INFOVIS
2005
IEEE
15 years 10 months ago
2005
IEEE
Time series are an important type of data with applications in virtually every aspect of the real world. Often a large number of time series have to be monitored and analyzed in p...
133
click to vote
ICCAD
2004
IEEE
16 years 1 months ago
2004
IEEE
—This paper introduces a simple method for calculating the times at which any signal crosses a prespecified threshold voltage (e.g., 10%, 20%, 50%, etc.) directly from the moment...
162
click to vote
APSEC
2009
IEEE
15 years 2 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...