DSpace Repository

Browsing テクニカルレポート / Technical Report by Title

Browsing テクニカルレポート / Technical Report by Title

Sort by: Order: Results:

  • Gizdarski, Emil; Fujiwara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2001-03)
    In this paper, we present a technique for reducing the test length of the counter-based pseudo-exhaustive built-in self-testing (BIST) using the width compression method and the divide-and-conquer strategy. More formally, ...
  • Kasami, Tadao; Seki, Hiroyuki; Kaji, Yuichi (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1993-12)
    Finite state translation systems (fsts') are a widely studied computational model in the area of tree automata theory. In this paper, the string generating capacities of fsts' and their subclasses are studied. First, it ...
  • Nakagawa, Kokoro; Takata, Yoshiaki; Seki, Hiroyuki (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2000-12)
    A method for supporting document retrieval by constructing a flexible category structure is proposed. In this method, a category structure suitable for retrieval by the user is constructed whenever a query is submitted. ...
  • Morita, Toshiyuki; Ishihara, Yasunori; Ito, Minoru (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1998-06)
    Detecting security flaws is important in order to keep the database secure. A security flaw in object-oriented databases means that a user can infer the result of an unpermitted method only from permitted methods. Although ...
  • Ueoka, Takahiro; Kawamura, Tatsuyuki; Kono, Yasuyuki; Kidode, Masatsugu (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2003-12)
    People tend to forget where they placed an object, which is necessary to achieve a certain task, in their everyday circumstances. To support a user’s object-finding tasks, we have proposed a wearable interface system named ...
  • Masashi Tsuchida; Fukuhito Ooshita; Michiko Inoue (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2018-04)
  • 松村, 知子; 森崎, 修司; 玉田, 春昭; 大杉, 直樹; 門田, 暁人; 松本, 健一 (奈良先端科学技術大学院大学Nara Institute of Science and Technology, 2007-03)
  • Nishitani, Hirokazu (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1994-07)
    Systems technology has been changing its targets to meet the needs of the times. This paper discusses human-computer interaction in plant operation from the systems engineering viewpoint. Human-centered automation in the ...
  • Yoneda, Tomokazu; Fujiwara, Hideo (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2002-02)
    This paper introduces a new concept called consecutive testability and proposes a design-for-testability method that makes a given SoC consecutively testable using integer lin-ear programming (ILP). A consecutively testable ...
  • Kawamura, Tatsuyuki; Ueoka, Takahiro; Kiuchi, Yutaka; Kono, Yasuyuki; Kidode, Masatsugu (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2003-12)
    In this paper, we present a useful histogram in order to reduce sensor noise effect and get to similar measures. This histogram is constructed in HSV color space using the probabilistic representation of color distribution. ...
  • Ishida, Yoshiteru (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1995-10)
    The self-organizing diagnosis has been studied by applying the idea of autonomous and decentralized systems extracted from the concept of immune network. The model implements network-level recognition by connecting information ...
  • Kasami, Tadao; Seki, Hiroyuki; Ishihara, Yasunori (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1994-07)
    First, this paper defines a subclass of algebraic specifications. Each specification of the subclass consists of two sub-specifications: a BE program and a BE interpreter specification. The syntax of BE programs resembles ...
  • Matsumoto, Yuji; Kitauchi, Akira; Yamashita, Tatsuo; Hirano, Yoshitaka (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1999-04)
  • Adachi, Naotoshi; Kasahara, Shoji; Takahashi, Yutaka (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1999-04)
    The experimental network for the project of interconnecting CATV in Hyogo Prefecture, Japan started from March, 1998. In this project, three CATV companies in Hanshin area, Kobe, Nishinomiya and Amagasaki are connected ...
  • Matsumoto, Yuji; Utsuro, Takehito (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1997-02)
    This paper proposes a novel method of learning probabilistic subcategorization preference. In the method, for the purpose of coping with the ambiguities of case dependencies and noun class generalization of argument/adjunct ...
  • Ito, Takahiko; Shimbo, Masashi; Kudo, Taku; Matsumoto, Yuji (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2004-10)
    We show that a family of graph kernels provides a unified perspective on the three measures proposed for link analysis: relatedness, global importance, and relative importance. This framework establishes relative importance ...
  • Ishida, Yoshiteru (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1995-10)
    Based on the view that symmetry plays an essential role in human reasoning about the laws of physical phenomena, we propose a reasoning paradigm in which symmetry assists in the reasoning about equations physical laws. ...
  • Yamada, Kohhei; Adachi, Naotoshi; Kasahara, Shoji; Takahashi, Yutaka (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 1999-09)
    The project of interconnecting CATV in Hyogo Prefecture, Japan has started since March, 1998. In this project, there are three CATV companies in Hanshin area; Kobe, Nishinomiya and Amagasaki. An ATM switch is equipped in ...
  • Sugiyama, Kenji; Kaji, Yuichi (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2008-01)
    LDPC codes is a class of linear codes introduced by Gallager in early 60's. Array LDPC (ALDPC) codes is a class of LDPC codes which are algebraically constructed from a family of array codes. This paper proposes a procedure ...
  • Fujita, Hajime; Ishii, Shin (Nara Institute of Science and Technology奈良先端科学技術大学院大学, 2005-11)
    We present a model-based reinforcement learning (RL) scheme for large-scale multi-agent problems with partial observability, and apply it to a card game, “Hearts”. This game is a well-defined example of an imperfect ...

Search DSpace


Advanced Search

Browse

My Account