2038 search results - page 322 / 408 » Improvements to the Psi-SSA representation |
126
Voted
FM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
149
click to vote
ACCV
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. This paper proposes a novel method to deal with the representation issue in texture classification. A learning framework of image descriptor is designed based on the Fish...
136
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
This paper presents a data-centric modeling and predictive control approach for nonlinear hybrid systems. System identification of hybrid systems represents a challenging problem b...
130
click to vote
TASLP
2011
14 years 7 months ago
2011
—We present a simple and efficient feature modeling approach for tracking the pitch of two simultaneously active speakers. We model the spectrogram features of single speakers u...
135
Voted
TMI
2011
14 years 7 months ago
2011
—In this paper, we propose a novel predictive model, active volume model (AVM), for object boundary extraction. It is a dynamic “object” model whose manifestation includes a ...