VLDB 2026 Research / reviewers in the wild / expert
Kazuyuki Tanaka
dblp:15/3388
· DBLP profile ↗
22ranked-venue papers
4as first author
1since 2021 · last 2022
0000-0001-9630-2748ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 14 · 3 first-author · 1 since 2021Artificial intelligence and machine learning · 6 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 3 · 1 first-authorDatabases, data management, data science and information retrieval · 2Computer networks · 1
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | The Alternation Hierarchy of the μ-calculus over Weakly Transitive Frames
Leonardo Pacheco, Kazuyuki Tanaka |
WoLLIC | 2 |
| 2017 | The Eigen-Distribution of Weighted Game Trees
Shohei Okisaka, Weiguang Peng, Kazuyuki Tanaka |
COCOA (1) | 4 |
| 2017 | On-Demand Color Calibration for Pedestrian Tracking in Nonoverlapping Fields of ViewabstractThis paper presents a framework of on-demand color calibration system to track pedestrians across nonoverlapping fields of fixed camera view. The proposed system is designed based on the machine-to-machine (M2M) approach, and exchanges color information of multiple fixed cameras autonomously. The fixed cameras are assumed to be pointing in different directions and have nonoverlapping fields of view. The color information is extracted when a pedestrian vacates from the field of view of a camera, and the information will be sent to an adjacent camera and used for color calibration automatically. The automatic calibration uses identical objects whose original colors are the same but captured different color in views of different cameras. Using this color information of the identical objects, the color calibration matrix is calculated by the camera receiving the color information. Experiment results indicate that our proposed system effectively addresses the seamless pedestrian tracking in nonoverlapping areas. Yuji Waizumi, Masako Omachi, Kazuyuki Tanaka |
IEEE Internet Things J. | 3 |
| 2017 | Optimal depth-first algorithms and equilibria of independent distributions on multi-branching trees
Weiguang Peng, NingNing Peng, Keng Meng Ng, Kazuyuki Tanaka, Yue Yang 0004 |
Inf. Process. Lett. | 4 |
| 2015 | Commuting Quantum Circuits with Few Outputs are Unlikely to be Classically Simulatable
Yasuhiro Takahashi, Seiichiro Tani, Takeshi Yamazaki, Kazuyuki Tanaka |
COCOON | 4 |
| 2013 | Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates
Yasuhiro Takahashi, Takeshi Yamazaki, Kazuyuki Tanaka |
MFCS | 3 |
| 2012 | Relative Randomness for Martin-Löf Random Sets
NingNing Peng, Kojiro Higuchi, Takeshi Yamazaki, Kazuyuki Tanaka |
CiE | 4 |
| 2012 | Infinite Games and Transfinite Recursion of Multiple Inductive Definitions
Keisuke Yoshii, Kazuyuki Tanaka |
CiE | 2 |
| 2012 | Composite likelihood estimation for restricted Boltzmann machines
Muneki Yasuda, Shun Kataoka, Yuji Waizumi, Kazuyuki Tanaka |
ICPR | 4 |
| 2011 | Automatic ridge network detection in crumpled paper based on graph densityabstractCrumpled sheets of paper tend to exhibit specific and complex structure, which is usually described as ridge network by physicists. Existing literature has showed that it is difficult to automate ridge network detection in crumpled paper because of its complex structure. In this paper, we attempt to develop an automatic detection process in terms of our proposed density criterion. We model the ridge network as a weighted graph, where the nodes indicate the intersections of ridges and the edges are the straightened ridges detected in crumpled paper. We construct the weighted graph by first detecting the nodes and then determining the edge weight using the ridge responses. Next, we formulate a graph density criterion to evaluate the detected ridge network. Finally, we propose an edge linking method to construct the graph by maximizing the proposed density criterion. Our experimental results show that, with the density criterion, our proposed node detection together with the edge line linking method could effectively automate the ridge network detection. Marvin Huang, Chiou-Ting Hsu, Kazuyuki Tanaka |
MMSP | 3 |
| 2009 | Approximate Learning Algorithm in Boltzmann MachinesabstractBoltzmann machines can be regarded as Markov random fields. For binary cases, they are equivalent to the Ising spin model in statistical mechanics. Learning systems in Boltzmann machines are one of the NP-hard problems. Thus, in general we have to use approximate methods to construct practical learning algorithms in this context. In this letter, we propose new and practical learning algorithms for Boltzmann machines by using the belief propagation algorithm and the linear response approximation, which are often referred as advanced mean field methods. Finally, we show the validity of our algorithm using numerical experiments. Muneki Yasuda, Kazuyuki Tanaka |
Neural Comput. | 2 |
| 2007 | The Complexity of Algorithms Computing Game Trees on Random Assignments
Kazuyuki Tanaka |
AAIM | 2 |
| 2007 | The Computational Complexity of Game Trees by Eigen-Distribution
Kazuyuki Tanaka |
COCOA | 2 |
| 2007 | Eigen-distribution on random assignments for game trees
Kazuyuki Tanaka |
Inf. Process. Lett. | 2 |
| 2007 | Δ03-determinacy, comprehension and inductionabstractAbstract We show that each of and proves -Det and that neither nor can be dropped. We also show that neither nor proves -Det. Moreover, we prove that none of and is provable in MedYahya Ould MedSalem, Kazuyuki Tanaka |
J. Symb. Log. | 2 |
| 2002 | Some conservation results on week König's lemma
Stephen G. Simpson, Kazuyuki Tanaka, Takeshi Yamazaki |
Ann. Pure Appl. Log. | 2 |
| 2000 | A Non-Standard Construction of Haar Measure and Weak König's LemmaabstractAbstract In this paper, we show within RCA0 that weak König's lemma is necessary and sufficient to prove that any (separable) compact group has a Haar measure. Within WKL0, a Haar measure is constructed by a non-standard method based on a fact that every countable non-standard model of WKL0 has a proper initial part isomorphic to itself [10]. Kazuyuki Tanaka, Takeshi Yamazaki |
J. Symb. Log. | 1 |
| 1997 | The Self-Embedding Theorem of WKL0 and a Non-Standard Method
Kazuyuki Tanaka |
Ann. Pure Appl. Log. | 1 |
| 1997 | Cluster ZTP in the recovery of an image
Tohru Morita, Kazuyuki Tanaka |
Pattern Recognit. Lett. | 2 |
| 1996 | Statistical-mechanical algorithm in MRF model based on variational principleabstractThe Markov random field (MRF) model, which is a method in the image restoration, is reformulated, based on the variational principle of the difference minimum between the original and damaged image datas, under the constraints for the area of black faces, the boundary length between the different darkness and the number of corners in the edge. Moreover, a new method is proposed for the estimation of the areas of black faces, the boundary length between the different darkness and the number of corners in the edge from only the damaged image. Kazuyuki Tanaka, Mikako Ichioka |
ICPR | 1 |
| 1991 | Weak Axioms of Determinacy and Subsystems of Analysis II (Sigma02 Games)
Kazuyuki Tanaka |
Ann. Pure Appl. Log. | 1 |
| 1990 | Fixed Point Theory in Weak Second-Order Arithmetic
Naoki Shioji, Kazuyuki Tanaka |
Ann. Pure Appl. Log. | 2 |