4502 search results - page 675 / 901 » Regular Model Checking |
169
click to vote
SMI
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—This paper develops a new trivariate hierarchical spline scheme for volumetric data representation. Unlike conventional spline formulations and techniques, our new frame...
190
click to vote
CVPR
2011
IEEE
15 years 2 months ago
2011
IEEE
Visual attributes expose human-defined semantics to object recognition models, but existing work largely restricts their influence to mid-level cues during classifier training....
168
Voted
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
The Markov chain approximation method is an effective and widely used approach for computing optimal values and controls for stochastic systems. It was extended to nonlinear (and p...
175
click to vote
JMLR
2010
15 years 1 months ago
2010
Existing approaches to multi-view learning are particularly effective when the views are either independent (i.e, multi-kernel approaches) or fully dependent (i.e., shared latent ...
182
click to vote
ACL
2012
13 years 8 months ago
2012
We argue that multilingual parallel data provides a valuable source of indirect supervision for induction of shallow semantic representations. Specifically, we consider unsupervi...