Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Hiroki Tokuoka"'
Autor:
Jun Hasegawa, Hiroki Tokuoka, Nagaaki Ohyama, Tetsuo Nonami, Masahiro Yamaguchi, Shin–ichiroh Kitoh, Takashi Obi
Publikováno v:
Scopus-Elsevier
In endoscopic diagnosis, there has been a strong requirement to measure the internal surface topography of the rectum or esophagus. Accurate measurement, however, is very difficult, because the object is usually observed from an inclined view. In thi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4b2f146c0edf8a7fd58ef0a450fd5496
https://doi.org/10.1007/s10043-998-0352-x
https://doi.org/10.1007/s10043-998-0352-x
Autor:
Franjo Ivancic, Sriram Sankaranarayanan, Aarti Gupta, Naoto Maeda, Hiroki Tokuoka, Gogul Balakrishnan, Yoshiaki Miyazaki, Takashi Imoto
Publikováno v:
ASE
Software model checking and static analysis have matured over the last decade, enabling their use in automated software verification. However, lack of scalability makes these tools hard to apply. Furthermore, approximations in the models of program a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8e71d5565ec550f1a863b32ec5b2a199
https://doi.org/10.1109/ase.2011.6100046
https://doi.org/10.1109/ase.2011.6100046