Mary Inaba - RankMe

52 papers A* 4A 9B 9C 1Misc 2Journal 2Unranked 25

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