3799 search results - page 515 / 760 » An Engineering Approach to Formal Methods |
105
click to vote
CSDA
2010
15 years 6 months ago
2010
This paper considers tests for cointegration with allowance for structural breaks, using the extrema of residual-based tests over subsamples of the data. One motivation for the ap...
182
click to vote
ISCI
2007
15 years 6 months ago
2007
Techniques for drawing graphs have proven successful in producing good layouts of undirected graphs. When nodes must be labeled however, the problem of overlapping nodes arises, p...
143
click to vote
VC
2010
15 years 5 months ago
2010
Abstract Digital holography is a technology with a potential to provide realistic 3D images. However, generation of digital holograms is a computationally demanding task. Thus, the...
196
click to vote
VR
2010
IEEE
15 years 5 months ago
2010
IEEE
We present a technique for exploiting change blindness to allow the user to walk through an immersive virtual environment that is much larger than the available physical workspace...
213
click to vote
ICML
2010
IEEE
15 years 4 months ago
2010
IEEE
In the realm of multilabel classification (MLC), it has become an opinio communis that optimal predictive performance can only be achieved by learners that explicitly take label d...