Kazuyuki Tanaka

dblp:15/3388 · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
2022 The Alternation Hierarchy of the μ-calculus over Weakly Transitive Frames
Leonardo Pacheco, Kazuyuki Tanaka
WoLLIC2
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 View
abstract
This 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
COCOON4
2013 Hardness of Classically Simulating Quantum Circuits with Unbounded Toffoli and Fan-Out Gates
Yasuhiro Takahashi, Takeshi Yamazaki, Kazuyuki Tanaka
MFCS3
2012 Relative Randomness for Martin-Löf Random Sets
NingNing Peng, Kojiro Higuchi, Takeshi Yamazaki, Kazuyuki Tanaka
CiE4
2012 Infinite Games and Transfinite Recursion of Multiple Inductive Definitions
Keisuke Yoshii, Kazuyuki Tanaka
CiE2
2012 Composite likelihood estimation for restricted Boltzmann machines
Muneki Yasuda, Shun Kataoka, Yuji Waizumi, Kazuyuki Tanaka
ICPR4
2011 Automatic ridge network detection in crumpled paper based on graph density
abstract
Crumpled 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
MMSP3
2009 Approximate Learning Algorithm in Boltzmann Machines
abstract
Boltzmann 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
AAIM2
2007 The Computational Complexity of Game Trees by Eigen-Distribution
Kazuyuki Tanaka
COCOA2
2007 Eigen-distribution on random assignments for game trees
Kazuyuki Tanaka
Inf. Process. Lett.2
2007 Δ03-determinacy, comprehension and induction
abstract
Abstract 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 Lemma
abstract
Abstract 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 principle
abstract
The 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
ICPR1
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