Demo Data from EDBT 2026 / reviewers in the wild / expert
Tadahiro Kitahashi
dblp:79/3624
· DBLP profile ↗
44ranked-venue papers
6as first author
1since 2021 · last 2022
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 22 · 2 first-authorGraphics, computer vision, multimedia, augmented reality and games · 19 · 3 first-authorDatabases, data management, data science and information retrieval · 10 · 2 first-authorHuman-computer interaction and ubiquitous computing · 6 · 2 first-author · 1 since 2021Systems, architecture and hardware · 4 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 4 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer graphics and multimedia
4 papers |
Multimedia analysis and retrieval · 94% Geometric modeling and processing · 6% Computational photography and imaging · 1% | |
| Artificial intelligence
2 papers |
3D vision · 100% | |
| Theoretical computer science
2 papers |
Computational complexity · 54% Automated reasoning and model checking · 46% |
Topics — the 12 heaviest of 15, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Multimedia analysis and retrieval
video summarization |
0.0 | 1 | 2004 | Personalized abstraction of broadcasted American football video by highlight selection · IEEE Trans. Multim. 2004 |
Multimedia analysis and retrieval
video indexing |
0.0 | 1 | 2002 | Event based indexing of broadcasted sports video by intermodal collaboration · IEEE Trans. Multim. 2002 |
Computational complexity
constraint satisfaction |
0.0 | 1 | 1985 | A Problem-Decomposition Method Using Differences or Equivalence Relations Between States · Artif. Intell. 1985 |
Automated reasoning and model checking › automated theorem proving
parallel theorem proving |
0.0 | 1 | 1979 | The Theorem Prover Using a Parallel Processing System · IJCAI 1979 |
Automated reasoning and model checking
theorem proving |
0.0 | 1 | 1979 | The Theorem Prover Using a Parallel Processing System · IJCAI 1979 |
Electronic design automation
physical design |
0.0 | 1 | 1977 | A Wire-Routing Scheme Based on Trunk-Division Methods · IEEE Trans. Computers 1977 |
Electronic design automation › physical design › routing
wire routing |
0.0 | 1 | 1977 | A Wire-Routing Scheme Based on Trunk-Division Methods · IEEE Trans. Computers 1977 |
Computational photography and imaging
camera geometry |
0.0 | 1 | 1985 | A New Method of 3-D Motion Analysis Using a Concept of Projective Geometry · IJCAI 1985 |
Electronic design automation
logic synthesis |
0.0 | 1 | 1972 | Orthogonal Expansion of Many-Valued Logical Functions and its Application to their Realization with a Single-Threshold Element · IEEE Trans. Computers 1972 |
Electronic design automation › logic synthesis
multiple-valued logic synthesis |
0.0 | 1 | 1972 | Orthogonal Expansion of Many-Valued Logical Functions and its Application to their Realization with a Single-Threshold Element · IEEE Trans. Computers 1972 |
Electronic design automation › logic synthesis
threshold logic synthesis |
0.0 | 1 | 1972 | Orthogonal Expansion of Many-Valued Logical Functions and its Application to their Realization with a Single-Threshold Element · IEEE Trans. Computers 1972 |
Electronic design automation › logic synthesis
boolean function decomposition |
0.0 | 1 | 1972 | Orthogonal Expansion of Many-Valued Logical Functions and its Application to their Realization with a Single-Threshold Element · IEEE Trans. Computers 1972 |
Methods — techniques the papers use, named apart from their topics
text overlay matching · 0.0keyword extraction · 0.0closed caption analysis · 0.0hierarchical structure understanding · 0.0auxiliary line analysis · 0.0parallel relaxation · 0.0hypothesization and verification · 0.0projective geometry · 0.0equivalence relation · 0.0difference relations · 0.0trunk-division routing · 0.0orthogonal expansion · 0.0approximate expansion · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | Classifying Situations for Collaboration among Medical Staff from Operating Room VideosabstractThis article discusses the feasibility of classifying various situations for collaboration among medical staff engaged in surgery from videos taken in operating rooms. In video processing for medical use, especially for supporting surgery, many previous studies have attempted to recognize, from intraoperative videos, surgical phases constituting the workflows of specific surgical operations. However, it should also be significant to analyze, from videos obtained from observation cameras in operating rooms, how medical staff engaged in surgeries collaborate, with the aim of improving the efficiency and safety of collaboration among medical staff. The type of collaborative situations that occur are not predetermined but rather depend on actual behavior of medical staff during surgeries. Therefore, this study attempts to segment videos of surgical operating rooms into different collaborative situations by clustering the video frames based on similarities in the arrangements of medical staff. The arrangements are represented by the distributions of medical staff in the operating rooms as well as their observed postures observed in the video frames. In the results of our experiment with the video of a real surgery, some meaningful clusters of collaborative situations for medical staff could be obtained. Takahiro Hayashi, Koh Kakusho, Tadahiro Kitahashi, Naoya Sugano |
SMC | 3 |
| 2005 | A Cooperative Recognition of Human Movements and Related Objects Guided by Functional Model of ObjectsabstractWe propose a new type of object models that includes functional attributes like edible, portable and supportable, instead of or in addition to the conventional appearance based ones like color, texture, shape and so forth. It leads to not conventional recognition of objects one by one individually and separately but understanding a scene where humans are interacting with objects. The detection of the functional attributes defined newly in a proposed model requires recognition of humans' actions that actually exhibit interactions with mainly an object, and in some cases interaction between objects each other. This has ever been ignored in the traditional object recognition, since a dominant situation for recognition of objects is set up as a stationary circumstance without human activities Tadahiro Kitahashi, Atsuhiro Kojima, Mirai Higuchi, Kunio Fukunaga |
CW | 1 |
| 2005 | Toward a Cooperative Recognition of Human Behaviors and Related Objects
Tadahiro Kitahashi, Atsuhiro Kojima, Mirai Higuchi, Kunio Fukunaga |
EJC | 1 |
| 2005 | Virtual Change of Illumination Color in Image Based RenderingabstractAn extension of the ability of the image based rendering (IBR) is described by presenting a method of generating images corresponding to the virtual change of the lighting color. It is an additional ability to the previous proposal that allows generating images by virtually changing the lighting orientation. It is also suggested that the basic idea developed in this paper might be applicable to the virtual varying object material. Tadahiro Kitahashi |
IV | 1 |
| 2005 | Generating Semantic Descriptions of Broadcasted Sports Videos Based on Structures of Sports Games and TV Programs
Naoko Nitta, Noboru Babaguchi, Tadahiro Kitahashi |
Multim. Tools Appl. | 3 |
| 2004 | Personalized abstraction of broadcasted American football video by highlight selectionabstractVideo abstraction is defined as creating shorter video clips or video posters from an original video stream. In this paper, we propose a method of generating a personalized abstract of broadcasted American football video. We first detect significant events in the video stream by matching textual overlays appearing in an image frame with the descriptions of gamestats in which highlights of the game are described. Then, we select highlight shots which should be included in the video abstract from those detected events reflecting on their significance degree and personal preferences, and generate a video clip by connecting the shots augmented with related audio and text. An hour-length video can be compressed into a minute-length personalized abstract. We experimentally verified the effectiveness of this method by comparing man-made video abstracts. Noboru Babaguchi, Yoshihiko Kawai, Takehiro Ogura, Tadahiro Kitahashi |
IEEE Trans. Multim. | 4 |
| 2002 | Story based representation for broadcasted sports video and automatic story segmentationabstractThis paper presents a model to represent a broadcasted sports video in a semantical way and proposes a method to segment the sports video into the semantical units for the representation. Representation of a video should clarify its semantical content as accurately as possible. Our model structurizes the video and gives suitable semantical descriptions to its particular time locations based on the structures of the sports video. We consider the speech transcript as the useful information stream for the generation of the semantical descriptions. The proposed method tries to segment the speech transcript into the units of the structurization in a probabilistic framework based on Bayesian networks. Moreover, the association with the image stream enables us to find the corresponding video segments. We discuss some experimental results. Naoko Nitta, Noboru Babaguchi, Tadahiro Kitahashi |
ICME (1) | 3 |
| 2002 | Video portal for a media space of structured video streamsabstractThe necessity for a video portal which supports an access to a specific video or its part from a huge video media space consisting of a large number of structured video streams is increasing. The video portal for a media space can be defined as a system which helps us to access videos through various kinds of media segments such as image, text, audio and video segments. In order to construct the video portal, we deal with structured video with metadata. Our system defines the structure of video in terms of document type definition (DTD), and describes the metadata of video with XML according to the DTD. We propose the video portal for structured video streams for the sports domain, and verify its usefulness based on a prototype system's performance. Takehiro Ogura, Noboru Babaguchi, Tadahiro Kitahashi |
ICME (2) | 3 |
| 2002 | Video clustering using spatio-temporal image with fixed lengthabstractIn order to handle video media such as TV programs efficiently and effectively, we need to segment a video stream into video segments and structuralize them based on their contents. We focus on similarity, which is one of the important relations between video segments, and describe a method to cluster similar segments in a video stream. The conventional clustering methods are based on shots, but no complete method to detect shot boundaries has yet been established. Our method is based on fixed length video stream segments, called video packets. Generating spatio-temporal images, we employ cooccurrence matrices to express features in the time dimension explicitly. From clustering experiments for actual TV programs, we obtained clustering accuracy of 81%. Hirotsugu Okamoto, Yukinobu Yasugi, Noboru Babaguchi, Tadahiro Kitahashi |
ICME (1) | 4 |
| 2002 | Event based indexing of broadcasted sports video by intermodal collaborationabstractIn this paper, we propose event-based video indexing, which is a kind of indexing by its semantical contents. Because video data is composed of multimodal information streams such as visual, auditory, and textual [closed caption (CC)] streams, we introduce a strategy of intermodal collaboration, i.e., collaborative processing taking account of the semantical dependency between these streams. Its aim is to improve the reliability and efficiency in contents analysis of video. Focusing here on temporal correspondence between visual and CC streams, the proposed method attempts to seek for time spans in which events are likely to take place through extraction of keywords from the CC stream and then to index shots in the visual stream. The experimental results for broadcasted sports video of American football games indicate that intermodal collaboration is effective for video indexing by the events such as touchdown (TD) and field goal (FG). Noboru Babaguchi, Yoshihiko Kawai, Tadahiro Kitahashi |
IEEE Trans. Multim. | 3 |
| 2001 | Generation Of Personalized Abstract Of Sports VideoabstractVideo abstraction is defined as creating a shorter video clip from an original video stream. In this paper, we propose a method of generating a personalized abstract of broadcasted sports video. We first detect significant events from the video stream by matching with gamestats in which highlights of the game are described. Textual information in an overlay appearing on an image frame is recognized for this matching. Then, we select highlight shots from these detected events, reflecting on personal preferences. Finally, we connect each shot augmented with related audio and text in temporal order. From experimental results, we verified that an hourlength video can be compressed into a minute-length personalized abstract. Noboru Babaguchi, Yoshihiko Kawai, Tadahiro Kitahashi |
ICME | 3 |
| 2000 | Converting Ordinary Rules into Default Rules Based on Contradiction of Knowledge Base
Kouichi Katsurada, Makoto Koyama, Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi |
EJC | 5 |
| 2000 | On Operations for Reconstructing the Complete/Incomplete Knowledge
Kouichi Katsurada, Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi |
EJC | 4 |
| 2000 | Extracting Actors, Actions and Events from Sports Video - A Fundamental Approach to Story TrackingabstractTo effectively deal with the vast amount of videos, we need to construct a content-based representation for each video. As a step towards this goal, this paper proposes a method to automatically generate the semantical annotations for a sports video by integrating the text(c1osed-caption) and image stream. we first segment the text data and extract segments which are meaningful to grasp the story of the video, then extract the actors, the actions and the events of each scene which are useful for information retrieval by using the linguistic cues and the domain knowledge. We also segment the image stream so that each segment can associate with each text segment extracted above by using the image cues. Finally we can annotate the video by associating the text segments with the image segments. Some experimental results are presented and discussed in this paper. Naoko Nitta, Noboru Babaguchi, Tadahiro Kitahashi |
ICPR | 3 |
| 2000 | Determination of General Concept in Learning Default Rules
Kouzou Ohara, Hideyuki Taka, Noboru Babaguchi, Tadahiro Kitahashi |
PRICAI | 4 |
| 1999 | Concept Learning in Linguistic Navigation of Robots
Fumihisa Shibata, Koh Kakusho, Masaya Ashida, Tadahiro Kitahashi |
EJC | 4 |
| 1999 | Interactive Approach to the Extraction of Logical Structures from Unformatted Document Images Using a Sub-structure ModelabstractDescribes a new document analysis method for unformatted documents such as advertisements or catalogs. Conventional model-based approaches to the extraction of logical structures are hard to apply to advertisements or catalogs, because a model of a page can't be defined. However, these kinds of documents have similar configurations of the regions that represent each product, where a local model of a local layout and logical structures can be defined. This model, which we call a sub-structure model, can be used as a template to extract the logical structures from other regions that represent the same kinds of products. In proposed system, a sub-structure model is captured through an interactive process with a user. The system was tested on advertisements in Japanese computer magazines and the experiments show promising results. Masaki Yamaoka, Osamu Iwaki, Noboru Babaguchi, Tadahiro Kitahashi |
ICDAR | 4 |
| 1998 | Solving contradiction in knowledge-base without interactionabstractWe propose a non-interactive method for solving the contradictions caused by exceptions to ordinary rules. It is realized by: detecting the ordinary rules which have the instances in their bodies; and converting them into the default rules. To reduce the default rules which need much reasoning time, we convert the minimal sets of ordinary rules to solve contradictions. Since the proposed method is executed without human interaction, it contributes to automatic rule-base maintenance. Kouichi Katsurada, Makoto Koyama, Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi |
SMC | 5 |
| 1998 | Non-monotonic inference system handling knowledge allowing classified exceptionsabstractWe propose a nonmonotonic formalism for knowledge handling allowing exceptions, the Exc-Representation (ER), and its goal-directed proof procedure, the SLD-EXC resolution, for the nonmonotonic inference system, NISE. ER always provides a unique extension, which is a set of conclusions, and makes tractable the membership problem in nonmonotonic reasoning by introducing the conditional facts, and classifying exceptions into two types based on the relationships among rules. Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi |
SMC | 3 |
| 1998 | Agent navigation under linguistic instructions of a route using contextual informationabstractWe propose a route planning algorithm for agent navigation under linguistic instructions of a route, aiming at man-agent flexible communication by a natural language. Instructions given to the agent describe a route in terms of landmarks like intersections, for example, "turn right at the second intersection". The contextual information in instructions of a route provides some constraints on the interpretation of landmarks and their geometric relationships. This information helps to reduce ambiguities in landmark recognition. Fumihisa Shibata, Masakazu Shima, Masaya Ashida, Koh Kakusho, Tadahiro Kitahashi |
SMC | 5 |
| 1997 | Media Information Processing in Documents -Generation of Manuals of Mechanical Parts AssemblingabstractThe authors view a document as a multi-modal media in the sense that it presents information by using figures and/or images as well as text. By showing examples of media conversion and media integration, the authors discuss the essential processing techniques of media information, especially document media information. First, media conversion is briefly addressed by an example of converting a graph diagram in a document to either an alternative graph diagram or a table. The main topic is the generation of a manual of a mechanical parts assembly as an example of media integration in a document. Thereby, necessary input information is presented for generating the manual. Tadahiro Kitahashi, Muneki Ohya, Koh Kakusho, Noboru Babaguchi |
ICDAR | 1 |
| 1996 | Recognition of Social Dancing from Auditory and Visual InformationabstractWe discuss the recognition of social dancing from a real image sequence and an acoustic signal of music. Since social dancing involves somewhat complicated movements by multiple humans, it is difficult to recover a detailed description of each dancer's posture by the conventional approach based on matching of an articulated human body model to each frame of an image sequence. Using the results of the recognition process for annotating a video of social dancing, we focus on the bare minimum of motion description. We show that the motion description can be acquired from a real image sequence and an acoustic signal by simple familiar techniques of computer vision and music information processing. Koh Kakusho, Noboru Babaguchi, Tadahiro Kitahashi |
FG | 3 |
| 1996 | Generation of sketch map image and its instructions to support the understanding of geographical informationabstractIn this paper, we propose a method of generating a sketch map drawing and its instructions in order to support the route understanding of a human. Both are given from a structured data, called the road network, which is a graph augmented by the attributes of roads and crossings. In generating a sketch map drawing, the pictorial information about the shape and the direction of roads is modified. The sketch map drawing can be generated at any simplification level by controlling a parameter called simpleness. The instructions corresponding to the sketch map are produced by assigning appropriate terms into sentence templates. We verified that favorable results are obtained by this method. Noboru Babaguchi, Seiichiro Dan, Tadahiro Kitahashi |
ICPR | 3 |
| 1996 | A Query Procedure for Allowing Exceptions in Advanced Logical Database
Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi |
IEA/AIE | 3 |
| 1996 | On Formation of Exception Hierarchy
Kouzou Ohara, Noboru Babaguchi, Tadahiro Kitahashi |
PRICAI | 3 |
| 1995 | Extracting characters and character lines in multi-agent schemeabstractIn this paper, we present COCE (COordinative Character Extractor), a new method for extracting printed Japanese characters from an unformatted document image. This research aims to exploit knowledge independent of the layouts. COCE is based on a multiagent scheme where each agent is assigned to a single character line and tries to extract characters by making use of the knowledge about features of a character line as well as shapes and arrangement of characters. Moreover, the agents communicate with each other to keep consistency between their tasks. We have favourable results for the effectiveness of this method. Keiji Gyohten, Tomoko Sumiya, Noboru Babaguchi, Koh Kakusho, Tadahiro Kitahashi |
ICDAR | 5 |
| 1994 | Generation of Sketch Map Drawing from Vectorized ImageabstractThis paper presents a method of generating a sketch drawing from geographical map images with vector representation. This method consists of two stages: generation of a road network from a vectorized image and generation of a sketch map drawing based on the road network. The road network is fundamental data for any applications, represented as a graph structure that is augmented with related attributes about roads and crossings. The characteristic of this method is to introduce a parameter, called roughness, in order to control sketch map generation. Because of the roughness, we can obtain a variety of sketch map drawings according to user's requirements. We experimentally verified that the proposed method is effective and that the roughness is valid as a psychological measure.> Noboru Babaguchi, Kiyoshi Tanaka, Tadahiro Kitahashi |
ICIP (3) | 3 |
| 1994 | On a system of understanding assembly illustrations in an assembly manual
Shoujie He, Norihiro Abe, Tadahiro Kitahashi |
Appl. Intell. | 3 |
| 1994 | Shape Recovery and Error Correction Based on Hypothetical Constraints by Parallel Network for Energy MinimizationabstractThree-dimensional (3D) shape recovery from a monocular image is the inverse process of optical projection and necessitates the use of additional constraints on 3D features of the objects. We have proposed the method of shape recovery based on some hypothetical constraints and its realization by energy minimization using a parallel network. In this paper, we will discuss an extension of our proposal with the aim of correcting noise and errors in an input image through the process of shape recovery. It is hardly possible to extract edges and vertexes free from noise and errors from a real image. For the robustness of the system, we must provide our system with the ability to correct such noise and errors. In this extension, we can also modulate the inclination of the process toward model-driven or data-driven. Koh Kakusho, Seiichiro Dan, Norihiro Abe, Tadahiro Kitahashi |
Int. J. Pattern Recognit. Artif. Intell. | 4 |
| 1993 | A study on a method of dividing machine-parts into functional groups for technical illustrationsabstractThe authors previously presented a computer generation method of technical illustrations of a machine from its CAD model. However, parts of complicated structures in a machine are more comprehensible when they are expressed in the form of TIs which consist of several illustrations representing functional subgroups of a machine than in a picture containing the total massive structures. There arises a problem of how to divide a machine into functional parts. The authors attempt to provide an answer to it by means of processing a specific graph derived from a CAD model of a given machine. The authors propose a method based on a directed graph representing a few structural aspects of a machine. The graph represents two kinds of relations, namely inserting a part to another part and connecting parts by a gear, by directional arcs, and also the shapes of parts by distinguishably shaped nodes. The basic idea is to describe a kind of semantics by structural features of a machine in a symbolic way based on the above-mentioned mechanical relations and the shapes of parts reflecting functions of parts.> Seiichiro Dan, Tadahiro Kitahashi, Norihiro Abe |
ICDAR | 3 |
| 1992 | Assembly planning based on assembly illustration understandingabstractAssembly illustrations are usually included in an assembly manual to explain assembling operations visually. It is interesting and challenging to generate an assembling plan from an illustration in an assembly manual by means of document image understanding. Most of the systems developed so far are devoted merely to convert paper-based documents into computerized forms but scarcely to deal with dynamic information acquisition from a document image. The system described in the paper aims at actually understanding a document so as to generate such a dynamic object as an assembling plan from an assembly manual.> Shoujie He, Norihiro Abe, Tadahiro Kitahashi |
ICPR (1) | 3 |
| 1992 | Fault Diagnosis of Power Distribution Lines by Using Discrimination TreeabstractA method for creating a discrimination tree and its application in a machine-learning-based power fault diagnosis system are discussed. An algorithm for diagnosing a single distribution line that is developed automatically by the machine learning system is presented. The performance of machine learning for fault diagnosis using a discrimination tree, an artificial neural network, and an expert system are compared.> Masato Togami, Norihiro Abe, Tadahiro Kitahashi, Harunao Ogawa |
ICTAI | 3 |
| 1992 | Assembling Plan Generation From An Assembly IllustrationabstractWe present an improved method of as- sembling plan generation from an assembly illus- tration. We have previously proposed an approach to assembly planning by recognizing auxiliary lines representing assembly relations. However some ambiguity remains in the details of assem- bling operations and also the determination of the execution order of the operations although a plan has been acquired from the pictorial features in an observed illustration. We have solved the problem by referring to the completed configuration in the succeeding illustrations. Explanatory words or phrases are also included in the illustration, which were not considered in our previous work. Through examining the parts of speech of them it is found that they can be classi- fied into two categories: 1) names of mechanical parts and 2) instructions on operations. The latter obviously conveys dynamic information necessary to the assembly planning. The former also implies dynamic information through the functions of the corresponding mechanical parts. The approach dis- cussed in this paper obtains dynamic information from explanatory words and generates an assem- bling plan by only analyzing the observing illus- tration. Index Terms -- Assembly illustration, auxiliary line, explanatory line, explanatory word, assembly relation, assembling operation, dynamic informa- tion, assembling plan ( assembly planning ). Shoujie He, Norihiro Abe, Tadahiro Kitahashi |
IROS | 3 |
| 1992 | An Application Of Silhouette Decomposition To Automatic Generation System For Making Nc Programs
Nobukazu Wakabayashi, Tadahiro Kitahashi, Tadashi Mimaki |
IROS | 2 |
| 1992 | Computer vision based on a hypothesization and verification scheme by parallel relaxation
Koh Kakusho, Seiichiro Dan, Tadahiro Kitahashi, Norihiro Abe |
Int. J. Comput. Vis. | 3 |
| 1990 | Understanding assembly illustrations in an assembly manual without any model of mechanical partsabstractA discussion is presented of how to understand assembly illustrations in an assembly manual without basing it on any model of mechanical parts. The discussion is based on the following two basic prerequisites. The first is that at the present stage mechanical parts are assumed to be in the shape of or composed of cylinders. The second is to recognize the 3-D-structure of mechanical parts by using the assembly information obtained from auxiliary lines. A hierarchical approach is developed to understand an assembly illustration. Also presented is a 'generated' structure understanding scheme. The scheme finds the generated structure in the succeeding illustration, by using preliminary information on the generated structure from the current assembly illustration. The preliminary information is obtained by understanding the current assembly illustration.> Shoujie He, Norihiro Abe, Tadahiro Kitahashi |
ICCV | 3 |
| 1990 | A speech labeling system based on knowledge processing
Kazuhiro Arai, Yoichi Yamashita, Tadahiro Kitahashi, Riichiro Mizoguchi |
ICSLP | 3 |
| 1985 | A New Method of 3-D Motion Analysis Using a Concept of Projective Geometry
Tadahiro Kitahashi, Hiroyuki Endo |
IJCAI | 1 |
| 1985 | A Problem-Decomposition Method Using Differences or Equivalence Relations Between States
Seizaburo Niizuma, Tadahiro Kitahashi |
Artif. Intell. | 2 |
| 1979 | The Theorem Prover Using a Parallel Processing System
Hitoshi Ogawa, Tadahiro Kitahashi, Kokichi Tanaka |
IJCAI | 2 |
| 1977 | A Wire-Routing Scheme Based on Trunk-Division MethodsabstractThis paper deals with a wire-routing algorithm for a building-block LSI. This algorithm has several features which sharply define it from previous techniques. The most noteworthy one among them is that it can achieve perfect wirability. This feature enables a design automation of an LSI layout pattern without any human supports. Tetsuo Asano, Tadahiro Kitahashi, Kokichi Tanaka, Hiroshi Horino, Nobutaka Amano |
IEEE Trans. Computers | 2 |
| 1975 | Random environments and automata
Akihiro Takeuchi, Tadahiro Kitahashi, Kokichi Tanaka |
Inf. Sci. | 2 |
| 1974 | Two-automata games
Akihiro Takeuchi, Tadahiro Kitahashi, Kokichi Tanaka |
Inf. Sci. | 2 |
| 1972 | Orthogonal Expansion of Many-Valued Logical Functions and its Application to their Realization with a Single-Threshold ElementabstractThe orthogonal expansion of many-valued logical functions is described and some approximate forms derived from it are discussed. A method of logical design of many-valued functions, especially threshold functions, using a single-threshold element is proposed based on the approximate forms. Tadahiro Kitahashi, Kokichi Tanaka |
IEEE Trans. Computers | 1 |