Polynomial-time inference of paralleled even monogenic pure context-free languages
Noriyuki Tanida
págs. 261-270
A linear-time normalization of one-dimensional quadtrees
Akira Ito, Katsushi Inoue, Yue Wang
págs. 271-277
Testing type consistency of method schemas
Hiroyuki Seki, Yasunori Ishihara, Hiroki Dodo
págs. 278-287
A fast and efficient output scheduler for high-performance input queueing ATM switches
Lillybutty Jacob, Hyojeong Song, Hyeongon Kim
págs. 288-296
CTL model checking of time petri nets using geometric regions
Tomohiro Yoneda, Hikaru Ryuba
págs. 297-306
Unique shape reconstruction using interreflections
Jun Yang, Dili Zhang, Noboru Ohnishi
págs. 307-316
Requirements specification and analysis of digital systems using FARHDL
Victor R.L. Shen, Feng Ho Kuo, Feipei Lai
págs. 317-328
Detection of surging sound with wavelet transform and neural networks
Manabu Kotani, Yasuo Ueda, Kenzo Akazawa
págs. 329-335
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: