


default search action
Information and Media Technologies, Volume 5
Volume 5, Number 1, 2010
- Munehiko Sato, Atsushi Hiyama, Tomohiro Tanikawa, Michitaka Hirose:

Particle Display System - Virtually Perceivable Pixels with Randomly Distributed Physical Pixels -. 1-12 - Taku Shimosawa, Yutaka Ishikawa:

Inter-kernel Communication between Multiple Kernels on Multicore Machines. 13-31 - Yoshinao Isobe, Markus Roggenbach:

CSP-Prover - a Proof Tool for the Verification of Scalable Concurrent Systems. 32-39 - Keishi Okamoto:

Formal Verification in a First-Order Extension of Modal μ-calculus. 40-47 - Yoshiki Kinoshita, Koki Nishizawa:

An Algebraic Semantics of Predicate Abstraction for PML. 48-57 - Bochao Liu, Atsushi Ohori:

A Flattening Strategy for SML Module Compilation and Its Implementation. 58-76 - Trung Thanh Ngo, Hajime Nagahara, Ryusuke Sagawa, Yasuhiro Mukaigawa, Masahiko Yachida, Yasushi Yagi:

Highly Robust Estimator Using a Case-dependent Residual Distribution Model. 77-93 - Kazuhiro Kono, Yoshimichi Ito, Akihito Aoyama, Hiroaki Kamoda, Noboru Babaguchi:

Matrix-Based Algorithm for Integrating Inheritance Relations of Access Rights for Policy Generation. 94-103 - Hernán E. Aguirre, Kiyoshi Tanaka:

ε-Ranking for Effective Many Objective Optimization on MNK-Landscapes. 104-118 - Neil Rubens, Ryota Tomioka, Masashi Sugiyama:

Output Divergence Criterion for Active Learning in Collaborative Settings. 119-128 - Takeshi Yoshitome, Jiro Naganuma, Yoshiyuki Yashima:

MPEG-2 Transcoding Method for Reducing Re-quantization Noise Based on a Two-tiered Quantizer Matrix. 129-138 - Masataka Goto, Takayuki Goto:

Musicream: Integrated Music-Listening Interface for Active, Flexible, and Unexpected Encounters with Musical Pieces. 139-152 - Kiyotaka Watanabe, Yoshio Iwai, Tetsuji Haga, Koichi Takeuchi, Masahiko Yachida:

Construction Method of Efficient Database for Learning-Based Video Super-Resolution. 153-163 - Daisuke Miyazaki, Mahdi Ammar, Rei Kawakami, Katsushi Ikeuchi:

Estimating Sunlight Polarization Using a Fish-eye Lens. 164-176 - Yushi Uno, Yoshinobu Ota, Akio Uemichi:

Investigating the Web Structure by Isolated Stars. 177-183 - Xin Liu, Tsuyoshi Murata:

Community Detection in Large-scale Bipartite Networks. 184-192 - Masanori Otsubo, Bui Quang Hung, Yoshinori Hijikata, Shogo Nishida:

Web Page Classification using Anchor-related Text Extracted by a DOM-based Method. 193-205 - Yusuke Fukazawa, Mirai Hara, Hidetoshi Ueno:

Automatic Cell Phone Menu Customization Based on User Operation History. 206-215 - Rafal Rzepka, Shinsuke Higuchi, Michal Ptaszynski, Pawel Dybala, Kenji Araki:

When Your Users Are Not Serious: Using Web-based Associations, Affect and Humor for Generating Appropriate Utterances for Inappropriate Input. 216-223 - Kazunari Meguro, Shinichi Motomura, Toshihiko Sasama, Takao Kawamura, Kazunori Sugahara:

Backup and Recovery Scheme for Distributed e-Learning System. 224-230 - Yujin Noishiki, Hidetoshi Yokota:

Study and Implementation of Dynamic Network Composition in Heterogeneous Network Environments. 231-242 - Oyunchimeg Shagdar

, Takashi Ohyama, Mehdad N. Shirazi, Hiroyuki Yomo, Ryu Miura, Sadao Obana:
Safety Driving Support Using CDMA Inter-Vehicle Communications. 243-257 - Atsushi Fujita, Satoshi Sato:

Measuring the Appropriateness of Automatically Generated Phrasal Paraphrases. 258-294 - Naoya Inoue, Ryu Iida, Kentaro Inui, Yuji Matsumoto:

Resolving Direct and Indirect Anaphora for Japanese Definite Noun Phrases. 295-320
Volume 5, Number 2, 2010
- Jason Cong, Guojie Luo:

Advances and Challenges in 3D Physical Design. 321-337 - Kwang-Ting (Tim) Cheng, Hsiu-Ming (Sherman) Chang:

Recent Advances in Analog, Mixed-Signal, and RF Testing. 338-365 - Shouhei Nomoto, Shorin Kyo, Shin'ichiro Okazaki:

Performance Evaluation of a Dynamically Switchable SIMD/MIMD Processor by Using an Image Recognition Application. 366-375 - Kenshu Seto, Masahiro Fujita:

Custom Instruction Generation for Configurable Processors with Limited Numbers of Operands. 376-387 - Masato Inagi, Yasuhiro Takashima, Yuichi Nakamura:

Globally Optimal Time-multiplexing of Inter-FPGA Connections for Multi-FPGA Prototyping Systems. 388-397 - Takao Toi, Noritsugu Nakamura, Yoshinosuke Kato, Toru Awashima, Kazutoshi Wakabayashi:

High-level Synthesis Challenges for Mapping a Complete Program on a Dynamically Reconfigurable Processor. 398-411 - Shinobu Nagayama, Tsutomu Sasao, Jon T. Butler:

Programmable Architectures and Design Methods for Two-Variable Numeric Function Generators. 412-423 - Hiroki Sunagawa, Haruhiko Terada, Akira Tsuchiya, Kazutoshi Kobayashi, Hidetoshi Onodera:

Effect of Regularity-Enhanced Layout on Variability and Circuit Performance of Standard Cells. 424-433 - Hidenori Ohta, Toshinori Yamada, Kunihiro Fujiyoshi:

On the Number of Rooms in a Rectangular Solid Dissection. 434-442 - Damien Le Moal, Donald Molaro, Jorge Campello:

A Real-Time File System for Constrained Quality of Service Applications. 443-458 - Takashi Katoh, Hiroki Arimura, Kouichi Hirata:

An Efficient Depth-first Search Algorithm for Extracting Frequent Diamond Episodes from Event Sequences. 459-470 - Ryoichi Minai, Yo Matsuo:

AltPS: A Structural Alignment Tool for Protein Surfaces Using Similarity of Local Atomic Environments. 471-478 - Hiroki Nishino:

Topolo Surface: A 2D Fiducial Tracking System Based on Topological Region Adjacency and Angle Information. 479-488 - Tatsuya Yoshikawa, Shigeto Seno, Yoichi Takenaka, Hideo Matsuda:

Improved Prediction Method for Protein Interactions Using Both Structural and Functional Characteristics of Proteins. 489-502 - Yusuke Kitamura, Tomomi Kimiwada, Jun Maruyama, Takashi Kaburagi, Takashi Matsumoto, Keiji Wada:

Monte Carlo-based Mouse Nuclear Receptor Superfamily Gene Regulatory Network Prediction: Stochastic Dynamical System on Graph with Zipf Prior. 503-518 - Salikh Zakirov, Shigeru Chiba, Etsuya Shibayama:

How to Select Superinstructions for Ruby. 519-526 - Hao Sun, Kento Aida:

Interactive Application Scheduling with GridRPC. 527-539 - Yuji Numai, Yoshiaki Udagawa, Satoshi Kobayashi:

Theory of Minimizing Linear Separation Automata. 540-548 - Li Bei, Katsuya Kawaguchi, Tatsuo Tsuji, Ken Higuchi:

A Labeling Scheme for Dynamic XML Trees Based on History-offset Encoding. 549-565 - Ukrit Watchareeruetai, Yoshinori Takeuchi, Tetsuya Matsumoto, Hiroaki Kudo, Noboru Ohnishi:

Evaluations of Feature Extraction Programs Synthesized by Redundancy-removed Linear Genetic Programming: A Case Study on the Lawn Weed Detection Problem. 566-576 - Mehrdad Panahpour Tehrani, Akio Ishikawa, Sei Naito, Shigeyuki Sakazawa, Atsushi Koike:

Precise Extraction of Moving Objects in Video Stream. 577-587 - Loic Merckel, Toyoaki Nishida:

User-friendly Texture Mapping Engine. 588-595 - Yuichi Yaguchi, Kenta Iseki, Ryuichi Oka:

Full Pixel Matching between Images for Non-linear Registration of Objects. 596-609 - Takeshi Miura, Kazutaka Mitobe, Takashi Yukawa, Takaaki Kaiga, Toshiyuki Taniguchi, Hideo Tamamoto:

Extraction of Motion Characteristics in Dances by Statistical Analysis of Joint Motions. 610-623 - Kumud Brahm Singh, Kiyoshi Kiyokawa, Haruo Takemura:

A Context-Aware Web Browsing Framework for an Ambient Environment. 624-635 - Hernán E. Aguirre, Kiyoshi Tanaka:

Space Partitioning Evolutionary Many-Objective Optimization: Performance Analysis on MNK-Landscapes. 636-649 - Peter Meerwald, Andreas Uhl:

Watermarking of Raw Digital Images in Camera Firmware. 650-658 - Tomoki Watanabe, Satoshi Ito, Kentaro Yokoi:

Co-occurrence Histograms of Oriented Gradients for Human Detection. 659-667 - Teruya Minamoto, Keisuke Tsuruta, Satoshi Fujii:

Edge-preserving Image Denoising Method Based on Dyadic Lifting Schemes. 668-678 - Kenichi Kanatani, Yasuyuki Sugaya:

Compact Fundamental Matrix Computation. 679-690 - Tomoya Okazaki, Takayuki Okatani, Koichiro Deguchi:

A Projector-Camera System for High-Quality Synthesis of Virtual Reflectance on Real Object Surfaces. 691-703 - Viet-Quoc Pham, Keita Takahashi, Takeshi Naemura:

Live Video Segmentation in Dynamic Backgrounds Using Thermal Vision. 704-713 - Kaori Kobayashi, Ryong Lee, Kazutoshi Sumiya:

Lost again on the way? : Measuring Human Map-Reading Ability. 714-719 - Gunnar O. Klein, Barry Smith:

Concept Systems and Ontologies: Recommendations for Basic Terminology. 720-728 - Ai Azuma, Yuji Matsumoto:

A Generalization of Forward-backward Algorithm. 729-738 - Yoshia Saito, Yuko Murayama:

A Proposal of an Interactive Broadcasting System for Audience-driven Live TV on the Internet. 739-750 - Amang Sudarsono, Toru Nakanishi, Yasuyuki Nogami, Nobuo Funabiki:

Anonymous IEEE802.1X Authentication System Using Group Signatures. 751-764 - Kazumasa Omote, Takeshi Shimoyama, Satoru Torii:

A Combinatorics Proliferation Model with Threshold for Malware Countermeasure. 765-775 - Aoi Hashizume, Hiroshi Mineno, Tadanori Mizuno:

Base Station Placement for Effective Data Dissemination in Sensor Networks. 776-783 - Yu Takada, Masaki Bandai, Tomoya Kitani, Takashi Watanabe:

Cooperative Data Buffering with Mobile Sinks for Wireless Multimedia Sensor Network. 784-797 - Celimuge Wu, Kazuya Kumekawa, Toshihiko Kato:

A Novel Multi-hop Broadcast Protocol for Vehicular Safety Applications. 798-812 - Kotaro Kataoka, Achmad Husni Thamrin, Jun Murai:

A Scalable Network Architecture for a Large-scale Uni-directional Link. 813-825 - Hua Si, Shunsuke Saruwatari, Masateru Minami, Hiroyuki Morikawa:

A Ubiquitous Power Management System to Balance Energy Savings and Response Time Based on Device- level Usage Prediction. 826-842 - Liska Waluyan, Mauricio F. Blos, Stephanie Noguera, Tatsuo Asai:

Potential Problems in People Management concerning Information Security in Cross-cultural Environment - The Case of Brazil. 843-853 - Ryo Nishimura, Yasuhiko Watanabe, Masaki Murata, Yasuhito Oota, Yoshihiro Okada:

Estimation of Connectivity between Paragraphs in a Mail Text. 854-874 - Takeshi Abekawa, Manabu Okumura:

Collecting Object-attribute Noun Pairs and Constructing Concept Graphs for the Argument of Adjectives from Japanese N1-Adj-N2 Constructions. 875-889 - Oanh Thi Tran, Cuong Anh Le, Quang-Thuy Ha:

Improving Vietnamese Word Segmentation and POS Tagging using MEM with Various Kinds of Resources. 890-909 - Kun Yu, Yusuke Miyao, Takuya Matsuzaki, Xiangli Wang, Yaozhong Zhang, Kiyotaka Uchimoto, Junichi Tsujii:

Comparison of Chinese Treebanks for Corpus-oriented HPSG Grammar Development. 910-929 - Makoto Nakamura, Yusuke Kimura, Minh Quang Nhat Pham, Le Minh Nguyen, Akira Shimazu:

Treatment of Legal Sentences Including Itemization Written in Japanese, English and Vietnamese - Towards Translation into Logical Forms -. 930-949 - Eric Nichols, Francis Bond, D. Scott Appling, Yuji Matsumoto:

Paraphrasing Training Data for Statistical Machine Translation. 950-971
Volume 5, Number 3, 2010
- Tomonari Sawada, Kana Ito, Shoji Kawahito:

Empirical Verification of Range Resolution for a TOF Range Image Sensor with Periodical Charge Draining Operation under Influence of Ambient Light. 972-979 - Jiangning Song, Kazuhiro Takemoto, Hongbin Shen, Hao Tan, M. Michael Gromiha, Tatsuya Akutsu:

Prediction of Protein Folding Rates from Structural Topology and Complex Network Properties. 980-993 - Shingo Takeda, Toshinori Takemura:

A Rank-based VM Consolidation Method for Power Saving in Datacenters. 994-1002 - Zisheng Li, Jun-ichi Imai, Masahide Kaneko:

Facial Expression Recognition Using Facial-component-based Bag of Words and PHOG Descriptors. 1003-1009 - Yongqing Sun, Satoshi Shimada, Masashi Morimoto, Yukinobu Taniguchi:

Visual Concept Modeling Scheme Using Early Learning of Region-based Semantics for Web Images. 1010-1021 - Issei Sato, Hiroshi Nakagawa:

Succinct Semi-structured Data Mining Based on FREQT. 1022-1027 - Taishi Ito, Hideyuki Takahashi, Takuo Suganuma, Tetsuo Kinoshita, Norio Shiratori:

Design of Adaptive Communication Mechanism for Ubiquitous Multiagent Systems. 1028-1042
Volume 5, Number 4, 2010
- Björn Sander, Andreas Bernauer, Wolfgang Rosenstiel:

Design and Run-time Reliability at the Electronic System Level. 1043-1063 - Masaharu Imai, Yoshinori Takeuchi, Keishi Sakanushi, Nagisa Ishiura:

Advantage and Possibility of Application-domain Specific Instruction-set Processor (ASIP). 1064-1081 - Seiya Shibata, Yuki Ando, Shinya Honda, Hiroyuki Tomiyama, Hiroaki Takada:

Efficient Design Space Exploration at System Level with Automatic Profiler Instrumentation. 1082-1096 - Arif Ullah Khan, Tsuyoshi Isshiki, Dongju Li, Hiroaki Kunieda:

A Unified Performance Estimation Method for Hardware and Software Components in Multiprocessor System-On-Chips. 1097-1109 - Hirofumi Iwato, Keishi Sakanushi, Yoshinori Takeuchi, Masaharu Imai:

A Low-power ASIP Generation Method by Extracting Minimum Execution Conditions. 1110-1121 - Benjamin Carrion Schafer, Majid Sarrafzadeh:

Semi-Automatic Control Unit Generation for Complex VLSI Designs. 1122-1131 - Kiyoharu Hamaguchi, Kazuya Masuda, Toshinobu Kashiwabara:

Approximate Model Checking Using a Subset of First-order Logic. 1132-1146 - Shinji Oku, Seiji Kajihara, Yasuo Sato, Kohei Miyase, Xiaoqing Wen:

On Delay Test Quality for Test Cubes. 1147-1155 - Zhixiang Chen, Xiongxin Zhao, Xiao Peng, Dajiang Zhou, Satoshi Goto:

A High Parallelism LDPC Decoder with an Early Stopping Criterion for WiMax and WiFi Application. 1156-1166 - Xun He, Dajiang Zhou, Jinjia Zhou, Satoshi Goto:

High Profile Intra Prediction Architecture for UHD H.264 Decoder. 1167-1177 - Dai Ikarashi, Yoshinori Tanabe, Koki Nishizawa, Masami Hagiya:

Modal μ-calculus on Min-plus Algebra N∞. 1178-1192 - Tadao Takaoka, Yuji Nakagawa:

Entropy as Computational Complexity. 1193-1207 - Jie Ji, Tony Y. T. Chan, Qiangfu Zhao:

Clustering Large Sparse Text Data: A Comparative Advantage Approach. 1208-1217 - Hiroshi Yoshida, Kinji Kimura, Naoki Yoshida, Junko Tanaka, Yoshihiro Miwa:

Algebraic Approaches to Underdetermined Experiments in Biology. 1218-1225 - Ai Hayakawa, Masato Asahara, Kenji Kono, Toshinori Kojima:

A Strategy for Efficient Update Propagation on Peer-to-Peer Based Content Distribution Networks. 1226-1240 - Cynthia Kustanto, Yukiyoshi Kameyama:

Improving Error Messages in Type System. 1241-1254 - Kensuke Onishi, Michihiro Kobayakawa, Mamoru Hoshi:

mm-GNAT: Index Structure for Arbitrary Lp Norm. 1255-1265 - Yuta Ishikawa, Ichiro Takeuchi:

Differentially Aberrant Region Detection in Array CGH Data Based on Nearest Neighbor Classification Performance. 1266-1277 - Kazunori Miyanishi, Tomonobu Ozaki, Takenao Ohkawa:

A Method to Extract Sentences Containing Protein Function Information with Training Data Extension Based on User's Feedback. 1278-1286 - Jianfeng Xu, Koichi Takagi, Akio Yoneyama:

Beat Induction from Motion Capture Data Using Short-Term Principal Component Analysis. 1287-1293 - Dongha Lee, Takafumi Koike, Keita Takahashi, Takeshi Naemura:

Optical and Synthetic Focusing Using Liquid Lens Array. 1294-1302 - Jian Zhang, Sei-ichiro Kamata:

An Adaptive Tone Mapping Algorithm for High Dynamic Range Images. 1303-1313 - Xiang Zuo, Naoto Iwahashi, Kotaro Funakoshi, Mikio Nakano, Ryo Taguchi, Shigeki Matsuda, Komei Sugiura, Natsuki Oka:

Detecting Robot-Directed Speech by Situated Understanding in Physical Interaction. 1314-1326 - Afia Akhter Lipi, Yukiko I. Nakano, Mathias Rehm:

Culture and Social Relationship as Factors of Affecting Communicative Non-verbal Behaviors. 1327-1337 - Hiroaki Kikuchi, Masato Terada:

Principal Component Analysis of Port-scans for Reduction of Distributed Sensors. 1338-1348 - Yuichi Nakamura, Yoshiki Sameshima, Toshihiro Yamauchi:

SELinux Security Policy Configuration System with Higher Level Language. 1349-1360 - Anton Romanov, Hiroe Tsubaki, Eiji Okamoto:

An Approach to Perform Quantitative Information Security Risk Assessment in IT Landscapes. 1361-1374

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














