Zobrazeno 1 - 10 of 36 pro vyhledávání: '"Kimio Kuramitsu"'
1
Akademický článek
Continuously revised assurance cases with stakeholders’ cross-validation: a DEOS experience
Autor: Kimio Kuramitsu
Publikováno v: PeerJ Computer Science, Vol 2, p e101 (2016)
Recently, assurance cases have received much attention in the field of software-based computer systems and IT services. However, software changes very often, and there are no strong regulations for software. These facts are two main challenges to be
Externí odkaz: https://doaj.org/article/0b802ed913b3467f8f38b4e7c9398cde
Zobrazit plný text záznamu
4
Is neural machine translation approach accurate enough for coding assistance?
Autor: Mayu Tomioka, Kimio Kuramitsu, Yuka Akinobu, Shiho Takano, Teruno Kajiura, Miyu Tamura, Momoka Obara
Publikováno v: BCNC@SPLASH
Coding assistance with deep learning is an emerging concern that has recently attracted much attention in the software development community. To integrate coding assistance with deep learning compactly, we focus on neural machine translation (NMT), w
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::6935f966114cac9d8a6dbd008f0171b3
https://doi.org/10.1145/3486949.3486966
Zobrazit plný text záznamu
7
A symbol-based extension of parsing expression grammars and context-sensitive packrat parsing
Autor: Kimio Kuramitsu
Publikováno v: SLE
Parsing expression grammars (PEGs) are a powerful and popular foundation for describing syntax. Despite PEGs' expressiveness, they cannot recognize many syntax patterns of popular programming languages. Typical examples include typedef-defined names
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::39778783c4e566e6ff3965aba95c5ae0
https://doi.org/10.1145/3136014.3136025
Zobrazit plný text záznamu
8
Linear Parsing Expression Grammars
Autor: Nariyoshi Chida, Kimio Kuramitsu
Publikováno v: Language and Automata Theory and Applications ISBN: 9783319537320
LATA
PEGs were formalized by Ford in 2004, and have several pragmatic operators (such as ordered choice and unlimited lookahead) for better expressing modern programming language syntax. Since these operators are not explicitly defined in the classic form
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::cd75dadeb1cdae4423df8e80693a8ed5
https://doi.org/10.1007/978-3-319-53733-7_20
Zobrazit plný text záznamu
9
A Fusion Technique of Schema and Syntax Rules for Validating Open Data
Autor: Kimio Kuramitsu, Shin'ya Yamaguchi
Publikováno v: Advanced Topics in Intelligent Information and Database Systems ISBN: 9783319566597
ACIIDS (Extended Posters)
Schema validation is an important technique that achieves reliable data exchange on the Web. Historically, schema validation has been developed intensively in XML. However, open data, which receive much attention recently, are exchanged in various fo
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_________::5668b2a68ff46e779515235ea80d7509
https://doi.org/10.1007/978-3-319-56660-3_37
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje