1 The Distributed Constraint Satisfaction Problem: Formalization and Algorithms IEEE Trans. on Knowledge and DATA Engineering, vol.10, No.5 September 1998 Makoto Yokoo, Edmund H. Durfee, Toru Ishida, and Kazuhiro Kuwaba

Source URL: agent.inf.kyushu-u.ac.jp

• Constraint programming
• Constraint satisfaction problem
• Constraint satisfaction
• Backtracking
• Multi-agent system
• Local consistency
• Interchangeability algorithm

Safety in Discretionary Access Control for Logic-based Publish-Subscribe Systems Kazuhiro Minami, Nikita Borisov, and Carl A. Gunter University of Illinois at Urbana-Champaign {minami,

Source URL: seclab.illinois.edu

Comparison of respiratory virus infection between human nasal epithelial cell monolayer and air-liquid interface 3D culture Kazuhiro Ito1, Song Huang2 and Samuel Constant2, 1RespiVert Ltd, London, United Kingdom and

Source URL: media.epithelix.com

  Kazu Komoto  kazuhiro.komoto@  students.makeschool.com 

Source URL: s3.amazonaws.com

Confidentiality-Preserving Distributed Proofs of Conjunctive Queries Adam J. Lee† Kazuhiro Minami‡

Source URL: seclab.illinois.edu

情報処理学会第 73 回全国大会 5R-9 Audio-visual musical instrument recognition Angelica Lim† Keisuke Nakamura‡ Kazuhiro Nakadai‡ Tetsuya Ogata† Hiroshi G. Okuno†

Source URL: winnie.kuis.kyoto-u.ac.jp

• Machine learning
• String instrument
• Mixture model
• Musical instrument
• Humanoid robot
• Histogram of oriented gradients

Secure Context-sensitive Authorization Kazuhiro Minami and David Kotz Department of Computer Science, Dartmouth College Hanover, NH, USA 03755 {minami, dfk}@cs.dartmouth.edu

Source URL: www.ists.dartmouth.edu

On gaugeability for generalized Feynman-Kac functionals and its applications Kazuhiro Kuwae Kumamoto University I will talk on the analytic characterization of the gaugeability for generalized Feynman-Kac functionals inc

Source URL: icsaa.iam.uni-bonn.de

Unsafe Order-2 Tree Languages are Context-Sensitive1 Naoki Kobayashi1 , Kazuhiro Inaba2 , and Takeshi Tsukada3 1 3

Source URL: www-kb.is.s.u-tokyo.ac.jp

Verifying Design with Proof Scores Kokichi FUTATSUGI1 , Joseph A. GOGUEN2 , and Kazuhiro OGATA3 1 Japan Advanced Institute of Science and Technology (JAIST)

Source URL: vstte.ethz.ch