default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNII Shonan Meeting Reports, Volume 2015
Volume 2015, 2015
- Wim Vanderbauwhede, Sven-Bodo Scholz, Tetsuya Takemi:
Putting Heterogeneous High-Performance Computing at the Fingertips of Domain Experts (NII Shonan Meeting 2015-18). - Seok-Hee Hong, Koji Koyamada, Kwan-Liu Ma:
Big Data Visual Analytics (NII Shonan Meeting 2015-17). - Marco Gaboardi
, Vivek Nigam, Tachio Terauchi:
Logic and Verification Methods in Security and Privacy (NII Shonan Meeting 2015-16). - Meiyappan Nagappan, Ahmed E. Hassan, Yasutaka Kamei:
Mobile App Store Analytics (NII Shonan Meeting 2015-15). - Daisuke Ishii, Kohei Suenaga, Walid Taha:
Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14). - Atsushi Igarashi, Andrzej S. Murawski, Nikos Tzevelekos:
Semantics and Verification of Object-Oriented Languages (NII Shonan Meeting 2015-13). - Stephan Sigg, Sozo Inoue:
Challenges for real-time human activity recognition (NII Shonan Meeting 2015-12). - Tetsuo Tamai, Hausi A. Müller, Bashar Nuseibeh:
Engineering Adaptive Software Systems (EASSy) (NII Shonan Meeting 2015-11). - Jordan L. Boyd-Graber, Hal Daumé III, Yusuke Miyao:
Synchronous Machine Translation (NII Shonan Meeting 2015-10). - Laurent Amsaleg, Michael E. Houle, Vincent Oria, Arthur Zimek:
Dimensionality and Scalability II: Hands-On Intrinsic Dimensionality (NII Shonan Meeting 2015-9). - Rafael E. Banchs, Sakriani Sakti, Etsuo Mizukami:
The Future of Human-Robot Spoken Dialogue: from Information Services to Virtual Assistants (NII Shonan Meeting 2015-7). - Lorenza Mondada, Aug Nishizawa, Mayumi Bono:
Instruction and instructed action: Embodied reciprocity in interaction (NII Shonan Meeting 2015-6). - Cyrille Artho, Einar Broch Johnsen, Martin Leucker, Keiko Nakata:
Static analysis meets runtime verification (NII Shonan Meeting 2015-5). - Jean-Yves Marion, Akira Mori, Mizuhito Ogawa:
Low level code analysis and applications to computer security (NII Shonan Meeting 2015-4). - Hiroshi Maruyama, Günter Müllerr, Kazuo Furuta:
Systems Resilience – Bridging the Gap Between Social and Mathematical (NII Shonan Meeting 2015-3). - Yoshiki Kinoshita, Bengt Nordström:
Logical analysis of descriptions and their presentations - a computational logic approach (NII Shonan Meeting 2015-2). - Takayuki Itoh, Karsten Klein, Giuseppe Liotta:
Big Graph Drawing: Metrics and Methods (NII Shonan Meeting 2015-1).
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.
last updated on 2025-10-30 00:41 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
