Search
CSV
RISDynamics of discrete-time linear systems with decaying disturbances
ناشر: IEEE
سال: 2014
Drift mining in data: A framework for addressing drift in classification
ناشر: Elsevier Science
سال: 2013
Transaction Level Formal Verification using Timed Automata
سال: 2010
خلاصه:
In this paper a form al methodo logy is proposed to verify TLM
Keynote talk by Dr. Oskar Mencer: Computing in space
ناشر: IEEE
سال: 2014
Cooperative Spectrum Leasing in Cognitive Radio Networks
ناشر: IEEE
سال: 2014
Oxidation of graphene film by non-thermal treatment for new sensing devices
ناشر: IEEE
سال: 2014
Trust, but Verify
ناشر: IEEE
سال: 2014