no code implementations • 31 Jan 2024 • Osamu Muta, Kazuki Noguchi, Junsuke Izumi, Shunsuke Shimizu, Tomoki Murakami, Shinya Otsuki
Wireless sensing is a promising technology for future wireless communication networks to realize various application services.
no code implementations • 2 Nov 2015 • Ichiro Hasuo, Shunsuke Shimizu, Corina Cirstea
In the context of formal verification in general and model checking in particular, parity games serve as a mighty vehicle: many problems are encoded as parity games, which are then solved by the seminal algorithm by Jurdzinski.
Logic in Computer Science Programming Languages