4693 search results - page 753 / 939 » Verifying Hybrid Systems |
176
click to vote
ICUMT
2009
15 years 3 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 ...
135
click to vote
BMCBI
2011
15 years 14 days 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...
153
click to vote
IEEEVAST
2010
15 years 9 days 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...
168
click to vote
TSP
2010
15 years 4 days 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...
154
click to vote
ICASSP
2011
IEEE
14 years 9 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...