( en | de | ru )

 

Disambiguierung von "Kobayashi, Naoki"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Demosaicking Method for Multispectral Images Based on Spatial Gradient and Inter-channel Correlation.

, , , , , , und . ICISP, Volume 9680 von Lecture Notes in Computer Science, Seite 157-166. Springer, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Naoki Yoshida

Naoki Ueda

Naoki Fukuzawa

Naoki Tamura

Naoki Saito

 

Weitere Publikationen von Autoren mit dem selben Namen

Asynchronous Unfold/Fold Transformation for Fixpoint Logic., , und . FLOPS, Volume 13215 von Lecture Notes in Computer Science, Seite 39-56. Springer, (2022)MPEG-4 very low bit-rate video compression by adaptively utilizing sprite to short sequences., , , und . ICME (1), Seite 653-656. IEEE Computer Society, (2002)Predicate abstraction and CEGAR for higher-order model checking., , und . PLDI, Seite 222-233. ACM, (2011)PARCS: An MPP-Oriented CLP Language., , , , und . PASCO, Seite 254-263. World Scientific, (1994)On Higher-Order Reachability Games Vs May Reachability., , und . RP, Volume 13608 von Lecture Notes in Computer Science, Seite 108-124. Springer, (2022)Demonstration of silicon photonic hybrid ring-filter external cavity wavelength tunable lasers., , , , , , , und . ECOC, Seite 1-3. IEEE, (2015)Types and higher-order recursion schemes for verification of higher-order programs.. POPL, Seite 416-428. ACM, (2009)Design of a Hyper-Spectral Imaging System for Gross Pathology of Pigmented Skin Lesions., , , , , und . EMBC, Seite 3605-3608. IEEE, (2021)Automata-Based Abstraction for Automated Verification of Higher-Order Tree-Processing Programs., , und . APLAS, Volume 9458 von Lecture Notes in Computer Science, Seite 295-312. Springer, (2015)Almost Every Simply Typed Lambda-Term Has a Long Beta-Reduction Sequence., , , und . CoRR, (2018)