3972 search results - page 541 / 795 » Cosparse analysis modeling - uniqueness and algorithms |
196
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
—Boolean manipulation and existential quantification of numeric variables from linear arithmetic (LA) formulas is at the core of many program analysis and software model checkin...
198
click to vote
GLOBECOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— NetFlow is a solution to make an in-depth traffic analysis possible in IP networks. Most of the telecommunication operators have already deployed it, or intend to do so, for n...
197
click to vote
ICRA
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present a vision-based terrain mapping and analysis system, and a model predictive control (MPC)based flight control system, for autonomous landing of a helicop...
209
click to vote
CAIP
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we propose a new manifold representation capable of being applied for visual speech recognition. In this regard, the real time input video data is compressed using P...
199
click to vote
ICMCS
2005
IEEE
16 years 24 days ago
2005
IEEE
In this paper, we incorporate a set of principles originated from cognitive psychology into the design of 3-D shape analysis and retrieval algorithms. Based on the “visual salie...