スポンサーリンク
Information and Media Technologies 編集運営会議 | 論文
- Network for Video Distribution between Preceding and Succeeding Vehicles on the Same Route
- Usage Control Model and Architecture for Data Confidentiality in a Database Service Provider
- Inter-kernel Communication between Multiple Kernels on Multicore Machines
- Stochastic Regular Approximation of Tree Grammars and Its Application to Faster ncRNA Family Annotation
- A New 3D Shape Retrieval Method Using Spherical Healpix
- Analysis and Design Methodology for Recognizing Opportunities and Difficulties for Product-based Services
- Estimation of Increase of Scanners Based on ISDAS Distributed Sensors
- New Certificate Chain Discovery Methods for Trust Establishment in Ad Hoc Networks and Their Evaluation
- Program Transformation by Templates: A Rewriting Framework
- A Synthesis Method of General Floating-Point Arithmetic Units by Aligned Partition
- Duality between Call-by-value Reductions and Call-by-name Reductions
- High-resolution Surface Reconstruction based on Multi-level Implicit Surface from Multiple Range Images
- An Equivalence Relation for the Typed Ambient Calculus
- Verification of Substitution Theorem Using HOL
- Distance Computation Between Binary Code and Real Vector for Efficient Keypoint Matching
- Output Divergence Criterion for Active Learning in Collaborative Settings
- Exploration of Schedule Space by Random Walk
- Evaluations of Feature Extraction Programs Synthesized by Redundancy-removed Linear Genetic Programming: A Case Study on the Lawn Weed Detection Problem
- Automatic F-term Classification of Japanese Patent Documents Using the k-Nearest Neighborhood Method and the SMART Weighting
- Reducing Power Dissipation of Data Communications on LSI with Scheduling Exploration