List of volumes and issues
11 Records
Available onlineNational Diet Library
Table of ContentsThe future of multimedia analysis and mining Crowdsourcing change Report on the analyses and the applications of a large-scale news video archive : NII TV-RECS Large-scale cross-media analysis and mining from socially curated contents Scalable approaches for content based video retrieval The future of multimedia analysis and mining A link utilization estimation scheme for nodes with multiple-queues in output ports Abstracts
Available onlineNational Diet Library
Table of ContentsAdvanced programming techniques for construction of robust, generic and evolutionary programs Distributive laws of directed containers Equational reasoning about programs with general recursion and call-by-value semantics Wander types : a formalization of coinduction-recursion Modularising inductive families An expressive bidirectional transformation language for XQuery view update GRoundTram : an integrated framework for developing well-behaved bidirectional model transformations Dependently typed programming Automated techniques for higher-order program verification An efficient exact algorithm for the minimum latency problem Load-balanced routing with selective even traffic splitting Abstracts
Available onlineNational Diet Library
Table of ContentsTheoretical computer science and discrete mathematics An almost optimal algorithm for Winkler's sorting pairs in bins A new order theory of set systems and better quasi-orderings Entropy estimation with suffix arrays Implementation issues of clique enumeration algorithm A dynamic programming algorithm for lot-sizing problem with outsourcing An immersion of a square in 4-edge-connected graphs Abstracts
Available onlineNational Diet Library
Table of ContentsQuantum information technology Photon subtraction from traveling fields : recent experimental demonstrations Photon pair sources with controlled frequency correlation Generation and characterization of bound entanglement in optical qubits Enhancing photon collection from quantum emitters in diamond Kinetic Monte Carlo study of accelerated optimization problem search using Bose-Einstein condensates High performance quantum computing Passive preparation of BB84 signal states with coherent light Recursive quantum repeater networks Phase estimation with photon number constraint Information geometric superactivation of classical zero-error capacity of quantum channels Test of purity by LOCC On optimization of load-balanced IP routing for hose model Abstracts
Available onlineNational Diet Library
Table of Contents3D image and video technology Multiple view geometry of projector-camera systems from virtual mutual projection Diminished reality using plane-sweep algorithm with weakly-calibrated cameras Object segmentation under varying illumination : stochastic background model considering spatial locality People detection based on co-occurrence of appearance and spatio-temporal features Recognizing multiple objects based on co-occurrence of categories Fast face clustering based on shot similarity for browsing video Associating faces and names in Japanese photo news articles Abstracts
Available onlineNational Diet Library
Table of ContentsLeading ICT technologies in the information explosion Image retrieval : research and use in the information explosion Utilization of external knowledge for personal name disambiguation Building web page collections efficiently exploiting local surrounding pages Academic linkage : a linkage platform for large volumes of academic information Computing the potential lexical productivity of head elements in nominal compounds using the textual corpus Statistical string similarity model for information linkage A distributed information retrieval manner based on the statistic information for ubiquitous services Abstracts
Available onlineNational Diet Library
Table of ContentsTowards robust self-managed systems Special issue : the future of software engineering for security and privacy PORTAM : policy, requirements, and threats analyzer for mobile code applications Curriculum design and methodologies for security requirements analysis A survey on security patterns Security software engineering in wireless sensor networks CAMNEP : an intrusion detection system for high-speed networks Feature interaction : the security threat from within software systems Placing computer security at the heart of learning 3DCG reconstitution and virtual reality of UNESCO world heritage in danger : the Citadel of Bam Development of the Shinshu University Online System of General Academic Resources (SOAR) Abstracts
Available onlineNational Diet Library
Table of ContentsUnpredictability and chance in scientific progress Named Entity Recognition in Vietnamese documents Rewriting XQuery by child-path folding ILL/DD in Japan across the turn of the century : basic findings about NACSIS-ILL from 1994 to 2005 Overview of SINET3 : next-generation science information network Quality evaluation of embedded software in robot software design contest Evaluation of Japanese universities' research activity based on the number of awards of Grants-in-Aid for Scientific Research from 1998 to 2002 and in 2003 Abstracts
Available onlineNational Diet Library
Table of ContentsThe future : everybody and everything connected Algorithm-based analysis of collective decoherence in quantum search Binary spatial operations on cell complex using incidence graph implemented at a spatial database system Hawk Eye Overview of human resource in Japanese academic research institutes Constructing a real/virtual archive of architectural material using ubiquitous computing Franco-Japanese research collaboration on constraint programming Overview of Japanese science Grid project NAREGI Abstracts
Available onlineNational Diet Library
Table of ContentsInternet challenges for informatics research New uses for computer in medical education, clinical practice, and patient safety in the US and Japan Access, claims and quality on the internet : future challenges Second order permutative conversions with Prawitz's strong validity Lightweight formal analysis of Web service flows A study on needs for e-learning : through the analysis of national survey and case studies Ontology optimisation : problematics & methodology, with a first step of formalism Abstracts
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 電子書籍・電子雑誌
- ISSN
- 1349-8606
- ISSN-L
- 1349-8606
- Publication, Distribution, etc.
- Text Language Code
- engjpn
- Persistent ID (NDL)
- info:ndljp/pid/8215136
- Collection (particular)
- 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 学術機関 > 大学共同利用機関法人
- Acquisition Basis
- インターネット資料収集保存事業（WARP）
- Date Accepted (W3CDTF)
- 2013-05-31T03:07:59+09:00