Search
CSV
RISDynamics of discrete-time linear systems with decaying disturbances
Publisher: IEEE
Year: 2014
Drift mining in data: A framework for addressing drift in classification
Publisher: Elsevier Science
Year: 2013
Transaction Level Formal Verification using Timed Automata
Year: 2010
Abstract:
In this paper a form al methodo logy is proposed to verify TLM
Keynote talk by Dr. Oskar Mencer: Computing in space
Publisher: IEEE
Year: 2014
Wind power uncertainty modeling considering spatial dependence based on Pair-copula theory
Publisher: IEEE
Year: 2014
Cooperative Spectrum Leasing in Cognitive Radio Networks
Publisher: IEEE
Year: 2014
A novel control strategy for fail-safe cyclic data exchange in wireless sensor networks
Publisher: IEEE
Year: 2014
Oxidation of graphene film by non-thermal treatment for new sensing devices
Publisher: IEEE
Year: 2014
Trust, but Verify
Publisher: IEEE
Year: 2014