ヘルプ
ヘルプ

検索結果 156 件

Contents : Progress in Informatics

Contents : Progress in Informatics
紙記事
<Z78-A321>Progress in informatics(11):2014.3p.巻末13p
国立国会図書館全国の図書館

R&D Project Report : Report on the analyses and the applications of a large-scale news video archive : NII TV-RECS (Special issue : The future of multimedia analysis and mining)

R&D Project Report : Report on the analyses and the applications of a large-scale news video archive : NII TV-RECS (Special issue : The future of multimedia analysis and mining)
デジタル記事
Ichiro IDE<Z78-A321>Progress in informatics(11):2014.3p.9-17
インターネットで読める国立国会図書館全国の図書館

A link utilization estimation scheme for nodes with multiple-queues in output ports

A link utilization estimation scheme for nodes with multiple-queues in output ports
デジタル記事
Kiyofumi IGAI, Eiji OKI<Z78-A321>Progress in informatics(11):2014.3p.45-55
インターネットで読める国立国会図書館全国の図書館

Scalable approaches for content based video retrieval (Special issue : The future of multimedia analysis and mining)

Scalable approaches for content based video retrieval (Special issue : The future of multimedia analysis and mining)
デジタル記事
Thanh DUC NGO, Duy DINH LE, Shin'ichi SATOH<Z78-A321>Progress in informatics(11):2014.3p.31-39
インターネットで読める国立国会図書館全国の図書館

R&D Project Report : Large-scale cross-media analysis and mining from socially curated contents (Special issue : The future of multimedia analysis and mining)

R&D Project Report : Large-scale cross-media analysis and mining from socially curated contents (Special issue : The future of multimedia analysis and mining)
デジタル記事
Akisato KIMURA<Z78-A321>Progress in informatics(11):2014.3p.19-30
インターネットで読める国立国会図書館全国の図書館

湘南会議 The future of multimedia analysis and mining

湘南会議 The future of multimedia analysis and mining
デジタル記事
Nozha BOUJEMAA, Alexander G. HAUPTMANN, Shin'ichi SATOH<Z78-A321>Progress in informatics(11):2014.3p.41-44
インターネットで読める国立国会図書館全国の図書館

Crowdsourcing change (Special issue : The future of multimedia analysis and mining)

Crowdsourcing change (Special issue : The future of multimedia analysis and mining)
デジタル記事
Hari SUNDARAM<Z78-A321>Progress in informatics(11):2014.3p.3-7
インターネットで読める国立国会図書館全国の図書館

Progress in informatics

Progress in informatics
紙雑誌
Research Organization of Information and Systems, National Institute of Informatics2005-[2014]<Z78-A321>
国立国会図書館全国の図書館
  •  
  •  
  •  
  •  
  •  
    •  

Wander types : A formalization of coinduction-recursion (Special issue : Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs)

Wander types : A formalization of coinduction-recursion (Special issue : Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs)
デジタル記事
Venanzio CAPRETTA<Z78-A321>Progress in informatics(10):2013.3p.47-63
インターネットで読める国立国会図書館全国の図書館

Load-balanced routing with selective even traffic splitting

Load-balanced routing with selective even traffic splitting
デジタル記事
Masashi HONMA, Shunichi TSUNODA, Eiji OKI<Z78-A321>Progress in informatics(10):2013.3p.175-183
インターネットで読める国立国会図書館全国の図書館

Equational reasoning about programs with general recursion and call-by-value semantics (Special issue : Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs)

Equational reasoning about programs with general recursion and call-by-value semantics (Special issue : Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs)
デジタル記事
Garrin KIMMELL, Aaron STUMP, Harley D. EADES 他<Z78-A321>Progress in informatics(10):2013.3p.19-46
インターネットで読める国立国会図書館全国の図書館

GRoundTram : An integrated framework for developing well-behaved bidirectional model transformations (Special issue : Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs)

GRoundTram : An integrated framework for developing well-behaved bidirectional model transformations (Special issue : Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs)
デジタル記事
Soichiro HIDAKA, Zhenjiang HU, Kazuhiro INABA 他<Z78-A321>Progress in informatics(10):2013.3p.131-148
インターネットで読める国立国会図書館全国の図書館

Automated techniques for higher-order program verification

Automated techniques for higher-order program verification
デジタル記事
Naoki KOBAYASHI, Luke ONG, David Van HORN<Z78-A321>Progress in informatics(10):2013.3p.157-165
インターネットで読める国立国会図書館全国の図書館

An efficient exact algorithm for the Minimum Latency Problem

An efficient exact algorithm for the Minimum Latency Problem
デジタル記事
Ha BANG BAN, Kien NGUYEN, Manh CUONG NGO 他<Z78-A321>Progress in informatics(10):2013.3p.167-174
インターネットで読める国立国会図書館全国の図書館

Dependently typed programming

Dependently typed programming
デジタル記事
Shin-CHENG MU, Conor MCBRIDE, Stephanie WEIRICH<Z78-A321>Progress in informatics(10):2013.3p.149-155
インターネットで読める国立国会図書館全国の図書館

Modularising inductive families (Special issue : Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs)

Modularising inductive families (Special issue : Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs)
デジタル記事
Hsiang-Shang KO, Jeremy GIBBONS<Z78-A321>Progress in informatics(10):2013.3p.65-88
インターネットで読める国立国会図書館全国の図書館

Distributive laws of directed containers (Special issue : Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs)

Distributive laws of directed containers (Special issue : Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs)
デジタル記事
Danel AHMAN, Tarmo UUSTALU<Z78-A321>Progress in informatics(10):2013.3p.3-18
インターネットで読める国立国会図書館全国の図書館

An expressive bidirectional transformation language for XQuery view update (Special issue : Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs)

An expressive bidirectional transformation language for XQuery view update (Special issue : Advanced Programming Techniques for Construction of Robust, Generic and Evolutionary Programs)
デジタル記事
Dongxi LIU, Zhenjiang HU, Masato TAKEICHI<Z78-A321>Progress in informatics(10):2013.3p.89-129
インターネットで読める国立国会図書館全国の図書館

A new order theory of set systems and better quasi-orderings (Special issue : Theoretical computer science and discrete mathematics)

A new order theory of set systems and better quasi-orderings (Special issue : Theoretical computer science and discrete mathematics)
デジタル記事
Yohji AKAMA<Z78-A321>Progress in informatics(9):2012.3p.9-18
インターネットで読める国立国会図書館全国の図書館

Entropy estimation with suffix arrays (Special issue : Theoretical computer science and discrete mathematics)

Entropy estimation with suffix arrays (Special issue : Theoretical computer science and discrete mathematics)
デジタル記事
Kunihiko SADAKANE<Z78-A321>Progress in informatics(9):2012.3p.19-23
インターネットで読める国立国会図書館全国の図書館