スポンサーリンク
Information and Media Technologies 編集運営会議 | 論文
- Jobcast — Parallel and distributed processing framework Data processing on a cloud style KVS database
- Design and Implementation of GSN Patterns: A Step toward Assurance Case Language
- A Study of Multi-core Processor Design with Asynchronous Interconnect Using Synchronous Design Tools
- A Certified Verifier for a Fragment of Separation Logic
- A Dynamic Attribute-Based Group Signature Scheme and Its Application in an Anonymous Survey for the Collection of Attribute Statistics
- Practical Considerations to Skin Detection Scheme
- A Method to Extract Sentences Containing Protein Function Information with Training Data Extension Based on User's Feedback
- Exact Minimum Factoring of Incompletely Specified Logic Functions via Quantified Boolean Satisfiability
- Community Detection Algorithm based on Centrality and Node Closeness in Scale-Free Networks
- A Tool for Creating Glossed Japanese Reading Materials
- A Mobile Agent Approach for P2P-based Semantic File Retrieval
- Delay Testing: Improving Test Quality and Avoiding Over-testing
- Dynamic Power Management for Embedded System Idle State in the Presence of Periodic Interrupt Services
- A Type System and Compilation Techniques for Concurrent Objects
- Efficient and Strongly Secure Password-based Server Aided Key Exchange
- Acquisition of Motion Primitives of Robot in Human-Navigation Task
- Globally Optimal Time-multiplexing of Inter-FPGA Connections for Multi-FPGA Prototyping Systems
- Frequent Closed Item Set Mining Based on Zero-suppressed BDDs
- Network-Controlled Route Optimization for Heterogeneous Mobile IP Networks
- Response Timing Detection Using Prosodic and Linguistic Information for Human-friendly Spoken Dialog Systems