Mary Inaba

Publication Activity (10 Years)

Years Active: 1994-2024
Publications (10 Years): 15

Top Topics

Boolean Satisfiability

Parallel Search

Skyline Computation

Top Venues

Publications

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
Parallel Clause Sharing Strategy Based on Graph Structure of SAT Problem. SAT (2024)
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems. POS@SAT (2023)
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract). AAAI (2023)
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
Unleashing the Potential of Restart by Detecting the Search Stagnation. LION (2023)
Yoichiro Iida, Tomohiro Sonobe, Mary Inaba
Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index. PRICAI (1) (2022)
Kaneharu Nishino, Hiroshi Tezuka, Mary Inaba
Toward Shareable Multi-abstraction-level Feature Extractor Based on a Bayesian Network. CORES (2019)
Kenichi Koizumi, Peter Eades, Kei Hiraki, Mary Inaba
BJR-tree: fast skyline computation algorithm using dominance relation-based tree structure. Int. J. Data Sci. Anal. 7 (1) (2019)
Kenichi Koizumi, Kei Hiraki, Mary Inaba
Continuous Skyline Computation Accelerator with Parallelizing Dominance Relation Calculations: (Abstract Only). FPGA (2018)
Kenichi Koizumi, Kei Hiraki, Mary Inaba
Skyline Computation for Low-Latency Image-Activated Cell Identification. AAAI (2018)
Kaneharu Nishino, Mary Inaba
Constructing Hierarchical Bayesian Networks With Pooling. AAAI (2018)
Kenichi Koizumi, Peter Eades, Kei Hiraki, Mary Inaba
BJR-Tree: Fast Skyline Computation Algorithm for Serendipitous Searching Problems. DSAA (2017)
Reiji Hatsugai, Mary Inaba
Robust Reinforcement Learning with a Stochastic Value Function. MOD (2017)
Seongsoo Moon, Mary Inaba
Boost SAT Solver with Hybrid Branching Heuristic. SOCS (2017)
Seongsoo Moon, Mary Inaba
Dynamic Strategy to Diversify Search Using a History Map in Parallel Solving. LION (2016)
Kaneharu Nishino, Mary Inaba
Bayesian AutoEncoder: Generation of Bayesian Networks with Hidden Nodes for Features. AAAI (2016)
Kaneharu Nishino, Mary Inaba
Feature Extraction Based on Generating Bayesian Network. ICONIP (4) (2015)
Kenichi Koizumi, Mary Inaba, Kei Hiraki
Efficient implementation of continuous skyline computation on a multi-core processor. MEMOCODE (2015)
Tomohiro Sonobe, Shuya Kondoh, Mary Inaba
Community Branching for Parallel Portfolio SAT Solvers. SAT (2014)
Tomohiro Sonobe, Mary Inaba
Portfolio with Block Branching for Parallel SAT Solvers. LION (2013)
Yasuo Ishii, Mary Inaba, Kei Hiraki
Unified memory optimizing architecture: memory subsystem control with a unified predictor. ICS (2012)
Tomohiro Sonobe, Mary Inaba
Counter Implication Restart for Parallel SAT Solvers. LION (2012)
Junichiro Makino, Hiroshi Daisaka, Toshiyuki Fukushige, Yutaka Sugawara, Mary Inaba, Kei Hiraki
The performance of GRAPE-DR for dense matrix operations. ICCS (2011)
Yasuo Ishii, Mary Inaba, Kei Hiraki
Access Map Pattern Matching for High Performance Data Cache Prefetch. J. Instr. Level Parallelism 13 (2011)
Hisanobu Tomari, Mary Inaba, Kei Hiraki
Compressing Floating-Point Number Stream for Numerical Applications. ICNC (2010)
Kenichi Koizumi, Mary Inaba, Kei Hiraki, Yasuo Ishii, Takefumi Miyoshi, Kazuki Yoshizoe
Triple Line-Based Playout for Go - An Accelerator for Monte Carlo Go. ReConFig (2009)
Naoki Tanida, Mary Inaba, Kei Hiraki, Takeshi Yoshino
Hardware Accelerator for Full-Text Search (HAFTS) with Succinct Data Structure. ReConFig (2009)
Yasuo Ishii, Mary Inaba, Kei Hiraki
Access map pattern matching for data cache prefetch. ICS (2009)
Hiroshige Hayashizaki, Yutaka Sugawara, Mary Inaba, Kei Hiraki
MCAMP: communication optimization on massively parallel machines with hierarchical scratch-pad memory. PACT (2008)
Yasuhiro Ito, Yutaka Sugawara, Mary Inaba, Kei Hiraki
CVC: The C to RTL compiler for callback-based verification model. FPL (2008)
Takeshi Yoshino, Yutaka Sugawara, Katsushi Inagami, Junji Tamatsukuri, Mary Inaba, Kei Hiraki
Performance optimization of TCP/IP over 10 gigabit ethernet by precise instrumentation. SC (2008)
Yutaka Sugawara, Takeshi Yoshino, Hiroshi Tezuka, Mary Inaba, Kei Hiraki
Effect of Packet Shuffler on Parallel TCP Stream Network. ICN (2008)
Yutaka Sugawara, Takeshi Yoshino, Hiroshi Tezuka, Mary Inaba, Kei Hiraki
Effect of Parallel TCP Stream Equalizer on Real Long Fat-pipe Network. NCA (2008)
Yutaka Sugawara, Mary Inaba, Kei Hiraki
Flow Balancing Hardware for Parallel TCP Streams on Long Fat Pipe Network. FGCN (1) (2007)
Junichiro Makino, Kei Hiraki, Mary Inaba
GRAPE-DR: 2-Pflops massively-parallel computer with 512-core, 512-Gflops processor chips for scientific computing. SC (2007)
Mary Inaba, Kei Hiraki
Network Processing Hardware. AINTEC (2006)
Yutaka Sugawara, Mary Inaba, Kei Hiraki
High-speed and Memory Efficient TCP Stream Scanning using FPGA. FPL (2005)
Hiroyuki Kamezawa, Makoto Nakamura, Junji Tamatsukuri, Nao Aoshima, Mary Inaba, Kei Hiraki
Inter-Layer Coordination for Parallel TCP Streams on Long Fat Pipe Networks. SC (2004)
Tsuyoshi Ito, Mary Inaba
Theoretical Analysis of Performances of TCP/IP Congestion Control Algorithm with Different Distances. NETWORKING (2004)
Makoto Nakamura, Hiroyuki Kamezawa, Junji Tamatsukuri, Mary Inaba, Kei Hiraki, K. Mizuguchi, K. Torii, S. Nakano, Shizuo Yoshita, Ryutaro Kurusu, Masakazu Sakamoto, Yuki Furukawa, Takeshi Yanagisawa, Yukichi Ikuta, J. Shitami, Akira Zinzaki
Long Fat Pipe Congestion Control for Multi-Stream Data Transfer. ISPAN (2004)
Yutaka Sugawara, Mary Inaba, Kei Hiraki
Over 10Gbps String Matching Mechanism for Multi-stream Packet Scanning Systems. FPL (2004)
Kei Hiraki, Mary Inaba, Junji Tamatsukuri, Ryutaro Kurusu, Yukichi Ikuta, Hisashi Koga, Akira Zinzaki
Data Reservoir: utilization of multi-gigabit backbone network for data-intensive research. SC (2002)
Kei Hiraki, Mary Inaba, Junji Tamatsukuri, Ryutaro Kurusu, Yukichi Ikuta, Hisashi Koga, Akira Zinzaki
Data Reservoir: A New Approach to Data-Intensive Scientific Computation. ISPAN (2002)
Mary Inaba, Hiroshi Imai
Finding k-Closest-Pairs Efficiently for High Dimensional Data. CCCG (2000)
Mary Inaba, Hiroshi Imai
Geometric Clustering Models in Feature Space. Discovery Science (1998)
Mary Inaba, Hiroshi Imai
Geometric clustering models for multimedia databases. CCCG (1998)
Kunihiko Sadakane, Hiroshi Imai, Kensuke Onishi, Mary Inaba, Fumihiko Takeuchi, Keiko Imai
Voronoi Diagrams by Divergences with Additive Weights. SCG (1998)
Mary Inaba, Hiroshi Imai, Motoki Nakade, Tatsurou Sekiguchi
Application of an Effective Geometric Clustering Method to the Color Quantization Problem. SCG (1997)
Tsuyoshi Ono, Yoshiaki Kyoda, Tomonari Masada, Kazuyoshi Hayase, Tetsuo Shibuya, Motoki Nakade, Mary Inaba, Hiroshi Imai, Keiko Imai, David Avis
A Package for Triangulations. SCG (1996)
Mary Inaba, Hiroshi Imai, Naoki Katoh
Experimental Results of Randomized Clustering Algorithm. SCG (1996)
Mary Inaba, Naoki Katoh, Hiroshi Imai
-Clustering (Extended Abstract). SCG (1994)
Mary Inaba, Yasukazu Aoki, Susumu Hasegawa
Level Difference of the Reconstructed Arrangement. CCCG (1994)