Osamu Takaki

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 3

Top Topics

Histogram Of Oriented Gradients

Top Venues

Publications

Osamu Takaki, Nobukuni Hamamoto, Atsuko Takefusa, Shigetoshi Yokoyama, Kento Aida
Implementation of Anonymization Algorithms for Log Data Analysis on a Cloud-Based Learning Management System. KES (2023)
Osamu Takaki, Nobukuni Hamamoto, Atsuko Takefusa, Shigetoshi Yokoyama, Kento Aida
Reasonable Setting Values for Anonymization Algorithms for Online Educational Data Analysis Support System. KES (2022)
Tsuyoshi Kato, Raissa Relator, Hayliang Ngouv, Yoshihiro Hirohashi, Osamu Takaki, Tetsuhiro Kakimoto, Kinya Okada
Segmental HOG: new descriptor for glomerulus detection in kidney microscopy image. BMC Bioinform. 16 (2015)
Osamu Takaki, Izumi Takeuti, Noriaki Izumi, Kôiti Hasida
Workflows with Passbacks and Incremental Verification of Their Correctness. IEICE Trans. Inf. Syst. (4) (2012)
Osamu Takaki, Noriaki Izumi, Koichiro Murata, Mitsuru Ikeda, Kôiti Hasida
Evaluation of a representation system of quality indicators. JCKBSE (2012)
Osamu Takaki, Koichiro Murata, Noriaki Izumi, Kôiti Hasida
A Medical Information Retrieval based on Retrievers' Intentions. HEALTHINF (2011)
Osamu Takaki, Izumi Takeuti, Noriaki Izumi, Kôiti Hasida
Syntax and Semantics of Workflows That Include Passbacks. ICSEA (2010)
Noriaki Izumi, Osamu Takaki, Kôiti Hasida
Service System Development Based on Web Process Ontology. ICSEA (2009)
Osamu Takaki, Izumi Takeuti, Takahiro Seino, Noriaki Izumi, Koichi Takahashi
Incremental Verification of Large ScaleWorkflows Based on Extended Correctness. ICSEA (2008)
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
Workflow Diagrams Based on Evidence Life Cycles. JCKBSE (2008)
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
Quality Improvement of Workflow Diagrams Based on Passback Flow Consistency. ICEIS (3-2) (2008)
Osamu Takaki, Takahiro Seino, Izumi Takeuti, Noriaki Izumi, Koichi Takahashi
Verification Algorithm of Evidence Life Cycles in Extended UML Activity Diagrams. ICSEA (2007)
Osamu Takaki, Makoto Takeyama, Hiroshi Watanabe
Verification of Transition System Reduction via PVS. Inf. Media Technol. 1 (2) (2006)
Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki
A Coalgebraic Representation of Reduction by Cone of Influence. CMCS (2006)
Osamu Takaki
Primitive recursive analogues of regular cardinals based on ordinal representation systems for KPi and KPM. Arch. Math. Log. 44 (6) (2005)
Osamu Takaki
Finite presentability of strongly finite dilators. RAIRO Theor. Informatics Appl. 34 (6) (2000)
Osamu Takaki
Strong Normalization Theorem for a Constructive Arithmetic with Definition by Transfinite Recursion and Bar Induction. Notre Dame J. Formal Log. 38 (3) (1997)