4693 search results - page 753 / 939 » Verifying Hybrid Systems |
200
click to vote
ICUMT
2009
15 years 4 months ago
2009
Abstract-- Many peer-to-peer-based virtual environment (P2PVE) solutions have been proposed recently to improve the scalability of distributed virtual environment (VE) systems. By ...
157
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: Experimentally verified protein-protein interactions (PPIs) cannot be easily retrieved by researchers unless they are stored in PPI databases. The curation of such dat...
177
click to vote
IEEEVAST
2010
15 years 1 months ago
2010
Diagnosing faults in an operational computer network is a frustrating, time-consuming exercise. Despite advances, automatic diagnostic tools are far from perfect: they occasionall...
189
click to vote
TSP
2010
15 years 1 months ago
2010
Abstract--Multichannel fast QR decomposition RLS (MCFQRD-RLS) algorithms are well known for their good numerical properties and low computational complexity. The main limitation is...
171
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper, a recursive nonlinear filter exploiting trigonometric expansions of the past output samples is introduced. Its peculiarity is, in general, the ability to model rea...