Mary Inaba

According to our database, Mary Inaba authored at least 51 papers between 1994 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of two.

2024

Parallel Clause Sharing Strategy Based on Graph Structure of SAT Problem.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

2023

An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Proceedings of the 14th International Workshop on Pragmatics of SAT co-located with the 26th International Conference on Theory and Applications of Satisfiability Testing (SAT 2023), 2023

Unleashing the Potential of Restart by Detecting the Search Stagnation.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Proceedings of the Learning and Intelligent Optimization - 17th International Conference, 2023

Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract).

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index.

Yoichiro Iida, Tomohiro Sonobe, Mary Inaba

Proceedings of the PRICAI 2022: Trends in Artificial Intelligence, 2022

2019

BJR-tree: fast skyline computation algorithm using dominance relation-based tree structure.

Kenichi Koizumi, Peter Eades, Kei Hiraki, Mary Inaba

Int. J. Data Sci. Anal., 2019

Toward Shareable Multi-abstraction-level Feature Extractor Based on a Bayesian Network.

Kaneharu Nishino, Hiroshi Tezuka, Mary Inaba

Proceedings of the Progress in Computer Recognition Systems, 2019

2018

Continuous Skyline Computation Accelerator with Parallelizing Dominance Relation Calculations: (Abstract Only).

Kenichi Koizumi, Kei Hiraki, Mary Inaba

Proceedings of the 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2018

Constructing Hierarchical Bayesian Networks With Pooling.

Kaneharu Nishino, Mary Inaba

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Skyline Computation for Low-Latency Image-Activated Cell Identification.

Kenichi Koizumi, Kei Hiraki, Mary Inaba

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017

Boost SAT Solver with Hybrid Branching Heuristic.

Seongsoo Moon, Mary Inaba

Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

Robust Reinforcement Learning with a Stochastic Value Function.

Reiji Hatsugai, Mary Inaba

Proceedings of the Machine Learning, Optimization, and Big Data, 2017

BJR-Tree: Fast Skyline Computation Algorithm for Serendipitous Searching Problems.

Kenichi Koizumi, Peter Eades, Kei Hiraki, Mary Inaba

Proceedings of the 2017 IEEE International Conference on Data Science and Advanced Analytics, 2017

2016

Dynamic Strategy to Diversify Search Using a History Map in Parallel Solving.

Seongsoo Moon, Mary Inaba

Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

Bayesian AutoEncoder: Generation of Bayesian Networks with Hidden Nodes for Features.

Kaneharu Nishino, Mary Inaba

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Efficient implementation of continuous skyline computation on a multi-core processor.

Kenichi Koizumi, Mary Inaba, Kei Hiraki

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Feature Extraction Based on Generating Bayesian Network.

Kaneharu Nishino, Mary Inaba

Proceedings of the Neural Information Processing - 22nd International Conference, 2015

2014

Community Branching for Parallel Portfolio SAT Solvers.

Tomohiro Sonobe, Shuya Kondoh, Mary Inaba

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

2013

Portfolio with Block Branching for Parallel SAT Solvers.

Tomohiro Sonobe, Mary Inaba

Proceedings of the Learning and Intelligent Optimization - 7th International Conference, 2013

2012

Counter Implication Restart for Parallel SAT Solvers.

Tomohiro Sonobe, Mary Inaba

Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

Unified memory optimizing architecture: memory subsystem control with a unified predictor.

Yasuo Ishii, Mary Inaba, Kei Hiraki

Proceedings of the International Conference on Supercomputing, 2012

2011

The performance of GRAPE-DR for dense matrix operations.

Junichiro Makino, Hiroshi Daisaka, Toshiyuki Fukushige, Yutaka Sugawara, Mary Inaba, Kei Hiraki

Proceedings of the International Conference on Computational Science, 2011

Access Map Pattern Matching for High Performance Data Cache Prefetch.

Yasuo Ishii, Mary Inaba, Kei Hiraki

J. Instr. Level Parallelism, 2011

2010

Compressing Floating-Point Number Stream for Numerical Applications.

Hisanobu Tomari, Mary Inaba, Kei Hiraki

Proceedings of the First International Conference on Networking and Computing, 2010

2009

Hardware Accelerator for Full-Text Search (HAFTS) with Succinct Data Structure.

Naoki Tanida, Mary Inaba, Kei Hiraki, Takeshi Yoshino

Proceedings of the ReConFig'09: 2009 International Conference on Reconfigurable Computing and FPGAs, 2009

Triple Line-Based Playout for Go - An Accelerator for Monte Carlo Go.

Kenichi Koizumi, Mary Inaba, Kei Hiraki, Yasuo Ishii, Takefumi Miyoshi, Kazuki Yoshizoe

Proceedings of the ReConFig'09: 2009 International Conference on Reconfigurable Computing and FPGAs, 2009

Access map pattern matching for data cache prefetch.

Yasuo Ishii, Mary Inaba, Kei Hiraki

Proceedings of the 23rd international conference on Supercomputing, 2009

2008

Performance optimization of TCP/IP over 10 gigabit ethernet by precise instrumentation.

Takeshi Yoshino, Yutaka Sugawara, Katsushi Inagami, Junji Tamatsukuri, Mary Inaba, Kei Hiraki

Proceedings of the ACM/IEEE Conference on High Performance Computing, 2008

Effect of Parallel TCP Stream Equalizer on Real Long Fat-pipe Network.

Yutaka Sugawara, Takeshi Yoshino, Hiroshi Tezuka, Mary Inaba, Kei Hiraki

Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

Effect of Packet Shuffler on Parallel TCP Stream Network.

Yutaka Sugawara, Takeshi Yoshino, Hiroshi Tezuka, Mary Inaba, Kei Hiraki

Proceedings of the Seventh International Conference on Networking (ICN 2008), 2008

CVC: The C to RTL compiler for callback-based verification model.

Yasuhiro Ito, Yutaka Sugawara, Mary Inaba, Kei Hiraki

Proceedings of the FPL 2008, 2008

MCAMP: communication optimization on massively parallel machines with hierarchical scratch-pad memory.

Hiroshige Hayashizaki, Yutaka Sugawara, Mary Inaba, Kei Hiraki

Proceedings of the 17th International Conference on Parallel Architectures and Compilation Techniques, 2008

2007

GRAPE-DR: 2-Pflops massively-parallel computer with 512-core, 512-Gflops processor chips for scientific computing.

Junichiro Makino, Kei Hiraki, Mary Inaba

Proceedings of the ACM/IEEE Conference on High Performance Networking and Computing, 2007

Flow Balancing Hardware for Parallel TCP Streams on Long Fat Pipe Network.

Yutaka Sugawara, Mary Inaba, Kei Hiraki

Proceedings of the Future Generation Communication and Networking, 2007

2006

Network Processing Hardware.

Mary Inaba, Kei Hiraki

Proceedings of the Technologies for Advanced Heterogeneous Networks II, 2006

2005

High-speed and Memory Efficient TCP Stream Scanning using FPGA.

Yutaka Sugawara, Mary Inaba, Kei Hiraki

Proceedings of the 2005 International Conference on Field Programmable Logic and Applications (FPL), 2005

2004

Inter-Layer Coordination for Parallel TCP Streams on Long Fat Pipe Networks.

Hiroyuki Kamezawa, Makoto Nakamura, Junji Tamatsukuri, Nao Aoshima, Mary Inaba, Kei Hiraki

Proceedings of the ACM/IEEE SC2004 Conference on High Performance Networking and Computing, 2004

Theoretical Analysis of Performances of TCP/IP Congestion Control Algorithm with Different Distances.

Tsuyoshi Ito, Mary Inaba

Proceedings of the NETWORKING 2004, 2004

Long Fat Pipe Congestion Control for Multi-Stream Data Transfer.

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

Proceedings of the 7th International Symposium on Parallel Architectures, 2004

Over 10Gbps String Matching Mechanism for Multi-stream Packet Scanning Systems.

Yutaka Sugawara, Mary Inaba, Kei Hiraki

Proceedings of the Field Programmable Logic and Application, 2004

2002

Data Reservoir: utilization of multi-gigabit backbone network for data-intensive research.

Kei Hiraki, Mary Inaba, Junji Tamatsukuri, Ryutaro Kurusu, Yukichi Ikuta, Hisashi Koga, Akira Zinzaki

Proceedings of the 2002 ACM/IEEE conference on Supercomputing, 2002

Data Reservoir: A New Approach to Data-Intensive Scientific Computation.

Kei Hiraki, Mary Inaba, Junji Tamatsukuri, Ryutaro Kurusu, Yukichi Ikuta, Hisashi Koga, Akira Zinzaki

Proceedings of the International Symposium on Parallel Architectures, 2002

2000

Finding k-Closest-Pairs Efficiently for High Dimensional Data.

Mary Inaba, Hiroshi Imai

Proceedings of the 12th Canadian Conference on Computational Geometry, 2000

1998

Geometric Clustering Models in Feature Space.

Mary Inaba, Hiroshi Imai

Proceedings of the Discovery Science, 1998

Voronoi Diagrams by Divergences with Additive Weights.

Kunihiko Sadakane, Hiroshi Imai, Kensuke Onishi, Mary Inaba, Fumihiko Takeuchi, Keiko Imai

Proceedings of the Fourteenth Annual Symposium on Computational Geometry, 1998

Geometric clustering models for multimedia databases.

Mary Inaba, Hiroshi Imai

Proceedings of the 10th Canadian Conference on Computational Geometry, 1998

1997

Application of an Effective Geometric Clustering Method to the Color Quantization Problem.

Mary Inaba, Hiroshi Imai, Motoki Nakade, Tatsurou Sekiguchi

Proceedings of the Thirteenth Annual Symposium on Computational Geometry, 1997

1996

A Package for Triangulations.

Tsuyoshi Ono, Yoshiaki Kyoda, Tomonari Masada, Kazuyoshi Hayase, Tetsuo Shibuya, Motoki Nakade, Mary Inaba, Hiroshi Imai, Keiko Imai, David Avis

Proceedings of the Twelfth Annual Symposium on Computational Geometry, 1996

Experimental Results of Randomized Clustering Algorithm.

Mary Inaba, Hiroshi Imai, Naoki Katoh

Proceedings of the Twelfth Annual Symposium on Computational Geometry, 1996

1994

Applications of Weighted Voronoi Diagrams and Randomization to Variance-Based <i>k</i>-Clustering (Extended Abstract).

Mary Inaba, Naoki Katoh, Hiroshi Imai

Proceedings of the Tenth Annual Symposium on Computational Geometry, 1994

Level Difference of the Reconstructed Arrangement.

Mary Inaba, Yasukazu Aoki, Susumu Hasegawa

Proceedings of the 6th Canadian Conference on Computational Geometry, 1994