3954 search results - page 382 / 791 » Image-based Model Completion |
149
click to vote
FORTE
2009
15 years 2 months ago
2009
Abstract. We propose a verification method for parameterized systems with global conditions. The method is based on context-sensitive constraints, a symbolic representation of infi...
184
click to vote
GI
2009
Springer
15 years 2 months ago
2009
Springer
: Study variables in clinical trial specifications are often defined manually, depending on the knowledge and experience of the author rather than on commonly agreed methods and st...
140
Voted
COLING
2010
15 years 2 days ago
2010
Unrehearsed spoken language often contains disfluencies. In order to correctly interpret a spoken utterance, any such disfluencies must be identified and removed or otherwise deal...
136
Voted
TSP
2010
14 years 11 months ago
2010
A quaternion widely linear (QWL) model for quaternion valued mean-squared-error (MSE) estimation is proposed. The augmented statistics are first introduced into the field of quater...
113
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
Reduced rank regression (RRR) has found application in various fields of signal processing. In this paper we propose a novel extension of the RRR model which we call sparse varia...