4693 search results - page 654 / 939 » Verifying Hybrid Systems |
191
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost ...
221
click to vote
COLING
2010
15 years 1 months ago
2010
Semantic role labeling (SRL) and word sense disambiguation (WSD) are two fundamental tasks in natural language processing to find a sentence-level semantic representation. To date...
194
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
— In this paper, we propose a new on-line learning algorithm for the non-linear system identification: the swarm intelligence aided multi-innovation recursive least squares (SIM...
199
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, we propose a Gaussian Process Regression (GPR) framework for concealment of corrupted motion vectors in predictive video coding of packet video systems. The problem...
220
Voted
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—This paper deals with estimation of the concentration of target molecules in a fluid when it flows past multiple biosensors. The fluid flow is modelled as an advecti...