Search dblp for Publications

export results for "toc:db/journals/shonan-reports/shonan-reports2015.bht:"

 download as .bib file

@article{DBLP:journals/shonan-reports/AmsalegHOZ15,
  author       = {Laurent Amsaleg and
                  Michael E. Houle and
                  Vincent Oria and
                  Arthur Zimek},
  title        = {Dimensionality and Scalability {II:} Hands-On Intrinsic Dimensionality
                  {(NII} Shonan Meeting 2015-9)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/061/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/AmsalegHOZ15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/ArthoJLN15,
  author       = {Cyrille Artho and
                  Einar Broch Johnsen and
                  Martin Leucker and
                  Keiko Nakata},
  title        = {Static analysis meets runtime verification {(NII} Shonan Meeting 2015-5)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/062/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/ArthoJLN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/BanchsSM15,
  author       = {Rafael E. Banchs and
                  Sakriani Sakti and
                  Etsuo Mizukami},
  title        = {The Future of Human-Robot Spoken Dialogue: from Information Services
                  to Virtual Assistants {(NII} Shonan Meeting 2015-7)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/059/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/BanchsSM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/Boyd-GraberDM15,
  author       = {Jordan L. Boyd{-}Graber and
                  Hal Daum{\'{e}} III and
                  Yusuke Miyao},
  title        = {Synchronous Machine Translation {(NII} Shonan Meeting 2015-10)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/068/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/Boyd-GraberDM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/GaboardiNT15,
  author       = {Marco Gaboardi and
                  Vivek Nigam and
                  Tachio Terauchi},
  title        = {Logic and Verification Methods in Security and Privacy {(NII} Shonan
                  Meeting 2015-16)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/069/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/GaboardiNT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/HongKM15,
  author       = {Seok{-}Hee Hong and
                  Koji Koyamada and
                  Kwan{-}Liu Ma},
  title        = {Big Data Visual Analytics {(NII} Shonan Meeting 2015-17)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/064/},
  timestamp    = {Thu, 27 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/HongKM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/IgarashiMT15,
  author       = {Atsushi Igarashi and
                  Andrzej S. Murawski and
                  Nikos Tzevelekos},
  title        = {Semantics and Verification of Object-Oriented Languages {(NII} Shonan
                  Meeting 2015-13)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/063/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/IgarashiMT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/IshiiST215,
  author       = {Daisuke Ishii and
                  Kohei Suenaga and
                  Walid Taha},
  title        = {Validated Numerics Meets Reachability Analysis for {CPS} Design {(NII}
                  Shonan Meeting 2015-14)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/076/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/IshiiST215.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/ItohKL15,
  author       = {Takayuki Itoh and
                  Karsten Klein and
                  Giuseppe Liotta},
  title        = {Big Graph Drawing: Metrics and Methods {(NII} Shonan Meeting 2015-1)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/054/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/ItohKL15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/KinoshitaN15,
  author       = {Yoshiki Kinoshita and
                  Bengt Nordstr{\"{o}}m},
  title        = {Logical analysis of descriptions and their presentations - a computational
                  logic approach {(NII} Shonan Meeting 2015-2)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/042/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/KinoshitaN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/MarionMO15,
  author       = {Jean{-}Yves Marion and
                  Akira Mori and
                  Mizuhito Ogawa},
  title        = {Low level code analysis and applications to computer security {(NII}
                  Shonan Meeting 2015-4)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/065/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/MarionMO15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/MaruyamaMF15,
  author       = {Hiroshi Maruyama and
                  G{\"{u}}nter M{\"{u}}llerr and
                  Kazuo Furuta},
  title        = {Systems Resilience {\textendash} Bridging the Gap Between Social and
                  Mathematical {(NII} Shonan Meeting 2015-3)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/060/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/MaruyamaMF15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/MondadaNB15,
  author       = {Lorenza Mondada and
                  Aug Nishizawa and
                  Mayumi Bono},
  title        = {Instruction and instructed action: Embodied reciprocity in interaction
                  {(NII} Shonan Meeting 2015-6)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/067/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/MondadaNB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/NagappanHK15,
  author       = {Meiyappan Nagappan and
                  Ahmed E. Hassan and
                  Yasutaka Kamei},
  title        = {Mobile App Store Analytics {(NII} Shonan Meeting 2015-15)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/070/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/NagappanHK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/SiggI15,
  author       = {Stephan Sigg and
                  Sozo Inoue},
  title        = {Challenges for real-time human activity recognition {(NII} Shonan
                  Meeting 2015-12)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/066/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/SiggI15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/TamaiMN15,
  author       = {Tetsuo Tamai and
                  Hausi A. M{\"{u}}ller and
                  Bashar Nuseibeh},
  title        = {Engineering Adaptive Software Systems (EASSy) {(NII} Shonan Meeting
                  2015-11)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/052/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/TamaiMN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/shonan-reports/VanderbauwhedeS15,
  author       = {Wim Vanderbauwhede and
                  Sven{-}Bodo Scholz and
                  Tetsuya Takemi},
  title        = {Putting Heterogeneous High-Performance Computing at the Fingertips
                  of Domain Experts {(NII} Shonan Meeting 2015-18)},
  journal      = {{NII} Shonan Meet. Rep.},
  volume       = {2015},
  year         = {2015},
  url          = {https://shonan.nii.ac.jp/seminars/075/},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/shonan-reports/VanderbauwhedeS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.