Mary Inaba

Affiliations:
  • University of Tokyo, Department of Information Science, Tokyo, Japan


According to our database1, Mary Inaba authored at least 50 papers between 1994 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of two.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
An Empirical Study of the Effect of Learnt Clause on the Structural Measures of SAT problems.
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.
Proceedings of the Learning and Intelligent Optimization - 17th International Conference, 2023

Understand Restart of SAT Solver Using Search Similarity Index (Student Abstract).
Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022
Diversification of Parallel Search of Portfolio SAT Solver by Search Similarity Index.
Proceedings of the PRICAI 2022: Trends in Artificial Intelligence, 2022

2019
BJR-tree: fast skyline computation algorithm using dominance relation-based tree structure.
Int. J. Data Sci. Anal., 2019

Toward Shareable Multi-abstraction-level Feature Extractor Based on a Bayesian Network.
Proceedings of the Progress in Computer Recognition Systems, 2019

2018
Continuous Skyline Computation Accelerator with Parallelizing Dominance Relation Calculations: (Abstract Only).
Proceedings of the 2018 ACM/SIGDA International Symposium on Field-Programmable Gate Arrays, 2018

Constructing Hierarchical Bayesian Networks With Pooling.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

Skyline Computation for Low-Latency Image-Activated Cell Identification.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
Boost SAT Solver with Hybrid Branching Heuristic.
Proceedings of the Tenth International Symposium on Combinatorial Search, 2017

Robust Reinforcement Learning with a Stochastic Value Function.
Proceedings of the Machine Learning, Optimization, and Big Data, 2017

BJR-Tree: Fast Skyline Computation Algorithm for Serendipitous Searching Problems.
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.
Proceedings of the Learning and Intelligent Optimization - 10th International Conference, 2016

Bayesian AutoEncoder: Generation of Bayesian Networks with Hidden Nodes for Features.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Efficient implementation of continuous skyline computation on a multi-core processor.
Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

Feature Extraction Based on Generating Bayesian Network.
Proceedings of the Neural Information Processing - 22nd International Conference, 2015

2014
Community Branching for Parallel Portfolio SAT Solvers.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014

2013
Portfolio with Block Branching for Parallel SAT Solvers.
Proceedings of the Learning and Intelligent Optimization - 7th International Conference, 2013

2012
Counter Implication Restart for Parallel SAT Solvers.
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

Unified memory optimizing architecture: memory subsystem control with a unified predictor.
Proceedings of the International Conference on Supercomputing, 2012

2011
The performance of GRAPE-DR for dense matrix operations.
Proceedings of the International Conference on Computational Science, 2011

Access Map Pattern Matching for High Performance Data Cache Prefetch.
J. Instr. Level Parallelism, 2011

2010
Compressing Floating-Point Number Stream for Numerical Applications.
Proceedings of the First International Conference on Networking and Computing, 2010

2009
Hardware Accelerator for Full-Text Search (HAFTS) with Succinct Data Structure.
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.
Proceedings of the ReConFig'09: 2009 International Conference on Reconfigurable Computing and FPGAs, 2009

Access map pattern matching for data cache prefetch.
Proceedings of the 23rd international conference on Supercomputing, 2009

2008
Performance optimization of TCP/IP over 10 gigabit ethernet by precise instrumentation.
Proceedings of the ACM/IEEE Conference on High Performance Computing, 2008

Effect of Parallel TCP Stream Equalizer on Real Long Fat-pipe Network.
Proceedings of The Seventh IEEE International Symposium on Networking Computing and Applications, 2008

Effect of Packet Shuffler on Parallel TCP Stream Network.
Proceedings of the Seventh International Conference on Networking (ICN 2008), 2008

CVC: The C to RTL compiler for callback-based verification model.
Proceedings of the FPL 2008, 2008

MCAMP: communication optimization on massively parallel machines with hierarchical scratch-pad memory.
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.
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.
Proceedings of the Future Generation Communication and Networking, 2007

2006
Network Processing Hardware.
Proceedings of the Technologies for Advanced Heterogeneous Networks II, 2006

2005
High-speed and Memory Efficient TCP Stream Scanning using FPGA.
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.
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.
Proceedings of the NETWORKING 2004, 2004

Long Fat Pipe Congestion Control for Multi-Stream Data Transfer.
Proceedings of the 7th International Symposium on Parallel Architectures, 2004

Over 10Gbps String Matching Mechanism for Multi-stream Packet Scanning Systems.
Proceedings of the Field Programmable Logic and Application, 2004

2002
Data Reservoir: utilization of multi-gigabit backbone network for data-intensive research.
Proceedings of the 2002 ACM/IEEE conference on Supercomputing, 2002

Data Reservoir: A New Approach to Data-Intensive Scientific Computation.
Proceedings of the International Symposium on Parallel Architectures, 2002

2000
Finding k-Closest-Pairs Efficiently for High Dimensional Data.
Proceedings of the 12th Canadian Conference on Computational Geometry, 2000

1998
Geometric Clustering Models in Feature Space.
Proceedings of the Discovery Science, 1998

Voronoi Diagrams by Divergences with Additive Weights.
Proceedings of the Fourteenth Annual Symposium on Computational Geometry, 1998

Geometric clustering models for multimedia databases.
Proceedings of the 10th Canadian Conference on Computational Geometry, 1998

1997
Application of an Effective Geometric Clustering Method to the Color Quantization Problem.
Proceedings of the Thirteenth Annual Symposium on Computational Geometry, 1997

1996
A Package for Triangulations.
Proceedings of the Twelfth Annual Symposium on Computational Geometry, 1996

Experimental Results of Randomized Clustering Algorithm.
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).
Proceedings of the Tenth Annual Symposium on Computational Geometry, 1994

Level Difference of the Reconstructed Arrangement.
Proceedings of the 6th Canadian Conference on Computational Geometry, 1994


  Loading...