Search results for "HAL"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
118	Pou-yung Lee, Albert Mo Kim Cheng	HAL: A Faster Match Algorithm.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	combinatorial explosion problem, algorithms, knowledge-based systems, expert systems, NP-completeness, Matching, database systems, production systems
102	Xin Yan 0002, Xue Li 0001, Dawei Song 0001	A Correlation Analysis on LSA and HAL Semantic Space Models.	CIS	2004	DBLP DOI BibTeX RDF	Hyperspace Analogue to Language, Automatic Query Refinement, Latent Semantic Indexing, Correlation Analysis
102	Bart Demoen, Maria J. García de la Banda, Warwick Harvey, Kim Marriott, David Overton, Peter J. Stuckey	Herbrand Constraints in HAL.	Program Development in Computational Logic	2004	DBLP DOI BibTeX RDF
102	David G. Stork	Keynote address: the HAL 9000 computer and the vision of 2001: a space odyssey.	WSC	2001	DBLP BibTeX RDF
102	Shigeru Takasaki, Tohru Sasaki, Nobuyoshi Nomizu, Hiroshi Ishikura, Nobuhiko Koike	HAL II: a mixed level hardware logic simulation system.	DAC	1986	DBLP DOI BibTeX RDF
86	Tom Schrijvers, Maria J. García de la Banda, Bart Demoen	Trailing Analysis for HAL.	ICLP	2002	DBLP DOI BibTeX RDF
86	Hiroaki Kawamoto, Yoshiyuki Sankai	Power Assist System HAL-3 for Gait Disorder Person.	ICCHP	2002	DBLP DOI BibTeX RDF
86	Maria J. García de la Banda, David Jeffery, Kim Marriott, Nicholas Nethercote, Peter J. Stuckey, Christian Holzbaur	Building Constraint Solvers with HAL.	ICLP	2001	DBLP DOI BibTeX RDF
80	Leif Azzopardi, Mark A. Girolami, Malcolm K. Crowe	Probabilistic hyperspace analogue to language.	SIGIR	2005	DBLP DOI BibTeX RDF
77	Sang-Yun Lee, Byung-Uk Choi	Certification Tools of Ubiquitous Mobile Platform.	UIC	2007	DBLP DOI BibTeX RDF	HAL, Certification tool, PCT, HCT, Platform, WIPI
70	Mohammad Dastbaz	Hypermedia Aided Learning (HAL): A Viewpoint on Delivering Education in the New Millennium.	IV	2000	DBLP DOI BibTeX RDF
66	Terrence W. Pratt, George D. Maydwell	Experience with the Normal Semantic Definition of HAL/S.	SIGPLAN Symposium on Compiler Construction	1982	DBLP DOI BibTeX RDF	HAL/S
64	Guocai Chen, Jim Warren, Robert McArthur, Peter Bruza, Debbie Kralik, Kay Price	Understanding Individual Experiences of Chronic Illness with Semantic Space Models of Electronic Discussions.	CBMS	2007	DBLP DOI BibTeX RDF
64	Sungjoo Yoo, Ahmed Amine Jerraya	Introduction to Hardware Abstraction Layers for SoC.	DATE	2003	DBLP DOI BibTeX RDF
64	Peter Bruza, Dawei Song 0001	Inferring query models by computing information flow.	CIKM	2002	DBLP DOI BibTeX RDF	query language modelling, information flow, inference
64	Ferroudj Cherief	An Algebraic Model for the Parallel Interpretation of Equationally Defined Functions (abstract).	ISSAC	1990	DBLP DOI BibTeX RDF
60	Maria J. García de la Banda, Bart Demoen, Kim Marriott, Peter J. Stuckey	To the Gates of HAL: A HAL Tutorial.	FLOPS	2002	DBLP DOI BibTeX RDF
54	Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott	Model Checking in HAL.	Computational Logic	2000	DBLP DOI BibTeX RDF
54	Jeff Larson	The HAL Interconnect PCI Card.	CANPC	1998	DBLP DOI BibTeX RDF
53	Luping Zhou, Nicholas Heller, Yiyu Shi 0001, Yiming Xiao, Raphael Sznitman, Veronika Cheplygina, Diana Mateus, Emanuele Trucco, Xiaobo Sharon Hu, Danny Ziyi Chen, Matthieu Chabanas, Hassan Rivaz, Ingerid Reinertsen (eds.)	Large-Scale Annotation of Biomedical Data and Expert Label Synthesis and Hardware Aware Learning for Medical Imaging and Computer Assisted Intervention - International Workshops, LABELS 2019, HAL-MICCAI 2019, and CuRIOUS 2019, Held in Conjunction with MICCAI 2019, Shenzhen, China, October 13 and 17, 2019, Proceedings	LABELS/HAL-MICCAI/CuRIOUS@MICCAI	2019	DBLP DOI BibTeX RDF
53	Jiahui Guan, Ravi Soni, Dibyajyoti Pati, Gopal Avinash, V. Ratna Saripalli	D3MC: A Reinforcement Learning Based Data-Driven Dyna Model Compression.	LABELS/HAL-MICCAI/CuRIOUS@MICCAI	2019	DBLP DOI BibTeX RDF
53	In Young Ha, Mattias P. Heinrich	Comparing Deep Learning Strategies and Attention Mechanisms of Discrete Registration for Multimodal Image-Guided Interventions.	LABELS/HAL-MICCAI/CuRIOUS@MICCAI	2019	DBLP DOI BibTeX RDF
53	Nicholas Heller, Jack Rickman, Christopher Weight, Nikolaos Papanikolopoulos	The Role of Publicly Available Data in MICCAI Papers from 2014 to 2018.	LABELS/HAL-MICCAI/CuRIOUS@MICCAI	2019	DBLP DOI BibTeX RDF
53	Fan Wang 0010, Chunhua Deng, Bo Yuan 0001, Chao Chen	Hardware Acceleration of Persistent Homology Computation.	LABELS/HAL-MICCAI/CuRIOUS@MICCAI	2019	DBLP DOI BibTeX RDF
53	Dana Rahbani, Andreas Morel-Forster, Dennis Madsen, Marcel Lüthi, Thomas Vetter	Robust Registration of Statistical Shape Models for Unsupervised Pathology Annotation.	LABELS/HAL-MICCAI/CuRIOUS@MICCAI	2019	DBLP DOI BibTeX RDF
53	Daria Zotova, Aneta Lisowska, Owen Anderson, Vismantas Dilys, Alison O'Neil	Comparison of Active Learning Strategies Applied to Lung Nodule Segmentation in CT Scans.	LABELS/HAL-MICCAI/CuRIOUS@MICCAI	2019	DBLP DOI BibTeX RDF
53	Tuo Leng, Qingyu Zhao, Chao Yang, Zhufu Lu, Ehsan Adeli 0001, Kilian M. Pohl	Data Augmentation Based on Substituting Regional MRIs Volume Scores.	LABELS/HAL-MICCAI/CuRIOUS@MICCAI	2019	DBLP DOI BibTeX RDF
53	Elisa Chotzoglou, Bernhard Kainz	Exploring the Relationship Between Segmentation Uncertainty, Segmentation Performance and Inter-observer Variability with Probabilistic Networks.	LABELS/HAL-MICCAI/CuRIOUS@MICCAI	2019	DBLP DOI BibTeX RDF
53	MohammadHossein AskariHemmat, Sina Honari, Lucas Rouhier, Christian S. Perone, Julien Cohen-Adad, Yvon Savaria, Jean-Pierre David	U-Net Fixed-Point Quantization for Medical Image Segmentation.	LABELS/HAL-MICCAI/CuRIOUS@MICCAI	2019	DBLP DOI BibTeX RDF
53	Hongjia Li, Sheng Lin 0001, Ning Liu 0007, Caiwen Ding, Yanzhi Wang	Deep Compressed Pneumonia Detection for Low-Power Embedded Devices.	LABELS/HAL-MICCAI/CuRIOUS@MICCAI	2019	DBLP DOI BibTeX RDF
53	Holger Roth, Ling Zhang 0002, Dong Yang 0005, Fausto Milletari, Ziyue Xu 0001, Xiaosong Wang, Daguang Xu	Weakly Supervised Segmentation from Extreme Points.	LABELS/HAL-MICCAI/CuRIOUS@MICCAI	2019	DBLP DOI BibTeX RDF
53	David Drobny, Marta Ranzini, Sébastien Ourselin, Tom Vercauteren, Marc Modat	Landmark-Based Evaluation of a Block-Matching Registration Framework on the RESECT Pre- and Intra-operative Brain Image Data Set.	LABELS/HAL-MICCAI/CuRIOUS@MICCAI	2019	DBLP DOI BibTeX RDF
53	Wenhui Lei, Huan Wang 0015, Ran Gu, Shichuan Zhang, Shaoting Zhang 0001, Guotai Wang	DeepIGeoS-V2: Deep Interactive Segmentation of Multiple Organs from Head and Neck Images with Lightweight CNNs.	LABELS/HAL-MICCAI/CuRIOUS@MICCAI	2019	DBLP DOI BibTeX RDF
53	Shuang Wen 0001, Guojie Luo	An Analytical Method of Automatic Alignment for Electron Tomography.	LABELS/HAL-MICCAI/CuRIOUS@MICCAI	2019	DBLP DOI BibTeX RDF
53	Bin Xie, Xiaoyu He, Shuang Zhao, Yi Li, Juan Su, Xinyu Zhao, Yehong Kuang, Yong Wang 0002, Xiang Chen	XiangyaDerm: A Clinical Image Dataset of Asian Race for Skin Disease Aided Diagnosis.	LABELS/HAL-MICCAI/CuRIOUS@MICCAI	2019	DBLP DOI BibTeX RDF
53	Luca Canalini, Jan Klein 0001, Dorothea Miller, Ron Kikinis	Registration of Ultrasound Volumes Based on Euclidean Distance Transform.	LABELS/HAL-MICCAI/CuRIOUS@MICCAI	2019	DBLP DOI BibTeX RDF
50	Jui-Feng Yeh, Chung-Hsien Wu, Liang-Chih Yu, Yu-Sheng Lai	Extended probabilistic HAL with close temporal association for psychiatric query document retrieval.	ACM Trans. Inf. Syst.	2008	DBLP DOI BibTeX RDF	Hyperspace Analog to Language (HAL) model, query documents, Information retrieval, information flow
45	Robert McArthur	Uncovering deep user context from blogs.	AND	2008	DBLP DOI BibTeX RDF	HAL, sense-of-self, socio-cognitive, semantics, context
45	Seokjoong Hwang, Joon Goo Lee, Seon Wook Kim, Sunshin An, Si-Gyung Koo, Jihun Koo, Kyung Ho Park, WooShik Kang	A Multi-protocol Baseband Modem Processor for a Mobile RFID Reader.	EUC	2006	DBLP DOI BibTeX RDF	HAL, Multi-protocol, Baseband Modem, Mobile, RFID, WIPI
44	Anand R. Tripathi, William D. Young, Donald I. Good, James C. Browne	HAL/S/V: a verifiable subset for HAL/S.	ACM SIGPLAN Notices	1981	DBLP DOI BibTeX RDF
41	Hal R. Varian, Christof Weinhardt	Interview with Hal R. Varian on "Interdisciplinary Research in Information Systems".	Wirtschaftsinf.	2005	DBLP DOI BibTeX RDF
32	Hiroyuki Yagi, Wolfgang Rosenstiel, Jakob Engblom, Jason Andrews, Kees A. Vissers, Marc Serughetti	The wild west: conquest of complex hardware-dependent software design.	DAC	2009	DBLP DOI BibTeX RDF	hardware-dependent software, heterogeneous/homogenous multi-core, symmetric/asymmetric multi-core, virtualization, multiprocessors, multi-core, MPSoC, programming model, virtual prototyping, many-core, ESL, virtual platform
32	Chris Creed, Russell Beale	Emotional Intelligence: Giving Computers Effective Emotional Skills to Aid Interaction.	Computational Intelligence: A Compendium	2008	DBLP DOI BibTeX RDF
32	Paulo Cheong, Dawei Song 0001, Peter Bruza, Kam-Fai Wong	Information Flow Analysis with Chinese Text.	IJCNLP	2004	DBLP DOI BibTeX RDF
32	Gian-Luigi Ferrari 0002, Stefania Gnesi, Ugo Montanari, Marco Pistore	A model-checking verification environment for mobile processes.	ACM Trans. Softw. Eng. Methodol.	2003	DBLP DOI BibTeX RDF	Name-passing process calculi, security, modal logics, transition systems, mobile processes
32	Dawei Song 0001, Peter Bruza, Zi Huang, Raymond Y. K. Lau	Classifying Document Titles Based on Information Inference.	ISMIS	2003	DBLP DOI BibTeX RDF
32	Masako Nozawa, Yoshiyuki Sankai	Control Method of Walking Speed and Step Length for Hybrid Assistive Leg.	ICCHP	2002	DBLP DOI BibTeX RDF
22	Chaoya Jiang, Wei Ye, Mengfan Dong, Hongrui Jia, Haiyang Xu, Ming Yan, Ji Zhang 0011, Shikun Zhang	Hal-Eval: A Universal and Fine-grained Hallucination Evaluation Framework for Large Vision Language Models.	CoRR	2024	DBLP DOI BibTeX RDF
22	Xiaokang Li, Menghua Xia, Jing Jiao, Shichong Zhou, Cai Chang, Yuanyuan Wang 0001, Yi Guo 0002	HAL-IA: A Hybrid Active Learning framework using Interactive Annotation for medical image segmentation.	Medical Image Anal.	2023	DBLP DOI BibTeX RDF
22	Tadeu Freitas, Mario Tasso Ribeiro Serra Neto, Inês Dutra, João Soares, Manuel Eduardo Correia, Rolando Martins	HAL 9000: Skynet's Risk Manager.	CoRR	2023	DBLP DOI BibTeX RDF
22	Guanzhou Li, Jianping Wu, Yujing He	D-HAL: Distributed Hierarchical Adversarial Learning for Multi-Agent Interaction in Autonomous Intersection Management.	CoRR	2023	DBLP DOI BibTeX RDF
22	Vino Avanesi, Johanna Rockstroh, Thomas Mildner, Nima Zargham, Leon Reicherts, Maximilian A. Friehs, Dimosthenis Kontogiorgos, Nina Wenig, Rainer Malaka	From C-3PO to HAL: Opening The Discourse About The Dark Side of Multi-Modal Social Agents.	CUI	2023	DBLP DOI BibTeX RDF
22	K. Ikeda, Akira Uehara, Hiroaki Kawamoto, Yoshiyuki Sankai	Study on Gait Stabilization Method Using Wearable Cyborg HAL Trunk-Unit for Parkinson's Disease and Parkinsonism with Freezing of Gait.	SMC	2023	DBLP DOI BibTeX RDF
22	Seyeon Jeong, Eunbi Hwang, Yeongpil Cho, Taekyoung Kwon 0002	PHI: Pseudo-HAL Identification for Scalable Firmware Fuzzing.	ICISC (2)	2023	DBLP DOI BibTeX RDF
22	Akira Uehara, Hiroaki Kawamoto, Yoshiyuki Sankai	Proposal of Period Modulation Control of Wearable Cyborg HAL Trunk-Unit for Parkinson's Disease/Parkinsonism Utilizing Motor Intention and Dynamics.	SII	2023	DBLP DOI BibTeX RDF
22	James T. Anibal, Alexandre G. R. Day, Erol Bahadiroglu, Liam O'Neil, Long N. Phan, Alec Peltekian, Amir Erez, Mariana Kaplan, Grégoire Altan-Bonnet, Pankaj Mehta	HAL-X: Scalable hierarchical clustering for rapid and tunable single-cell analysis.	PLoS Comput. Biol.	2022	DBLP DOI BibTeX RDF
22	Xue-She Wang, Samuel A. Moore, James D. Turner, Brian P. Mann	A model-free sampling method for basins of attraction using hybrid active learning (HAL).	Commun. Nonlinear Sci. Numer. Simul.	2022	DBLP DOI BibTeX RDF
22	Vitor Alberto Silva	HAL-ASOS - hardware assisted Linux for application specific operating system		2022	RDF
22	Xing Wu 0001, Cheng Chen, Mingyu Zhong, Jianjia Wang	HAL: Hybrid active learning for efficient labeling in medical domain.	Neurocomputing	2021	DBLP DOI BibTeX RDF
22	William Gasarch	Review of Blown to Bits: Your Life, Liberty, and Happiness after the Digital Explosion by Hal Abelson, Ken Ledeen, Harry Lewis, and Wendy Seltzer.	SIGACT News	2021	DBLP DOI BibTeX RDF
22	Seioh Ezaki, Hideki Kadone, Shigeki Kubota, Tetsuya Abe, Yukiyo Shimizu, Chun Kwang Tan, Kousei Miura, Yasushi Hada, Yoshiyuki Sankai, Masao Koda, Kenji Suzuki 0002, Masashi Yamazaki	Analysis of Gait Motion Changes by Intervention Using Robot Suit Hybrid Assistive Limb (HAL) in Myelopathy Patients After Decompression Surgery for Ossification of Posterior Longitudinal Ligament.	Frontiers Neurorobotics	2021	DBLP DOI BibTeX RDF
22	Yoshiki Sano, Takahiro Sakai, Yusuke Uda, Hiroshi Sugimura, Masao Isshiki	Home-life Assessment List "HAL" for Promoting the Review of Lifestyle Habits.	LifeTech	2021	DBLP DOI BibTeX RDF
22	Rubens Figueiredo, Andreas Kassler	BNG-HAL: A Unified API for Disaggregated BNGs.	NFV-SDN	2021	DBLP DOI BibTeX RDF
22	Roberto Di Cosmo, Morane Gruenpeter, Bruno Marmol, Alain Monteil, Laurent Romary, Jozefina Sadowska	Curated Archiving of Research Software Artifacts: Lessons Learned from the French Open Archive (HAL).	Int. J. Digit. Curation	2020	DBLP DOI BibTeX RDF
22	Kristina Wolfe, Douglas Swanson, Rupert Till	The Frequency Spectrum and Geometry of the Hal Saflieni Hypogeum Appear Tuned.	CoRR	2020	DBLP BibTeX RDF
22	Xue-She Wang, James D. Turner, Brian P. Mann	A Data-Efficient Sampling Method for Estimating Basins of Attraction Using Hybrid Active Learning (HAL).	CoRR	2020	DBLP BibTeX RDF
22	Thien-Phuc Doan, Jungsoo Park, Souhwan Jung	HAL-Based Resource Manipulation Monitoring on AOSP.	Mob. Inf. Syst.	2020	DBLP DOI BibTeX RDF
22	Mahdieh Safarzadeh, Mahdi Abadi, Alireza Nowroozi	HAL-RD: cross-correlating heterogeneous alerts and logs using resource dependencies.	SAC	2020	DBLP DOI BibTeX RDF
22	Volodymyr V. Kindratenko, Dawei Mu, Yan Zhan, John Maloney, Sayed Hadi Hashemi, Benjamin Rabe, Ke Xu, Roy H. Campbell, Jian Peng 0001, William Gropp	HAL: Computer System for Scalable Deep Learning.	PEARC	2020	DBLP DOI BibTeX RDF
22	Fangyu Liu 0001, Rongtian Ye, Xun Wang, Shuaipeng Li	HAL: Improved Text-Image Matching by Mitigating Visual Semantic Hubs.	AAAI	2020	DBLP DOI BibTeX RDF
22	Christer Samuelsson	HAL: Challenging Three Key Aspects of IBM-style Statistical Machine Translation.	AMTA	2020	DBLP BibTeX RDF
22	Sebastian Wallat, Nils Albartus, Steffen Becker 0003, Max Hoffmann 0001, Maik Ender, Marc Fyrbiak, Adrian Drees, Sebastian Maaßen, Christof Paar	Highway to HAL: Open-Sourcing the First Extendable Gate-Level Netlist Reverse Engineering Framework.	CoRR	2019	DBLP BibTeX RDF
22	Fangyu Liu 0001, Rongtian Ye, Xun Wang, Shuaipeng Li	HAL: Improved Text-Image Matching by Mitigating Visual Semantic Hubs.	CoRR	2019	DBLP BibTeX RDF
22	Marc Fyrbiak, Sebastian Wallat, Pawel Swierczynski, Max Hoffmann 0001, Sebastian Hoppach, Matthias Wilhelm 0002, Tobias Weidlich, Russell Tessier, Christof Paar	HAL - The Missing Piece of the Puzzle for Hardware Reverse Engineering, Trojan Detection and Insertion.	IEEE Trans. Dependable Secur. Comput.	2019	DBLP DOI BibTeX RDF
22	Yu Gan 0004, Wei Hu 0001, Yonghao Wang	Design and Optimization of Camera HAL Layer Based on Android.	SmartCom	2019	DBLP DOI BibTeX RDF
22	Sebastian Wallat, Nils Albartus, Steffen Becker 0003, Max Hoffmann 0001, Maik Ender, Marc Fyrbiak, Adrian Drees, Sebastian Maaßen, Christof Paar	Highway to HAL: open-sourcing the first extendable gate-level netlist reverse engineering framework.	CF	2019	DBLP DOI BibTeX RDF
22	Sarath Sreedharan, Siddharth Srivastava 0001, David E. Smith 0001, Subbarao Kambhampati	Why Can't You Do That HAL? Explaining Unsolvability of Planning Tasks.	IJCAI	2019	DBLP DOI BibTeX RDF
22		CASE: A HAL 9000 for 2021.	Sci. Robotics	2018	DBLP DOI BibTeX RDF
22	Giuseppe Francesco Rigano, Luca Muratore, Arturo Laurenzi, Enrico Mingo Hoffman, Nikos G. Tsagarakis	A mixed real-time robot hardware abstraction layer (R-HAL).	Encycl. Semantic Comput. Robotic Intell.	2018	DBLP DOI BibTeX RDF
22	Min Pan, Yue Zhang, Tingting He 0003, Xingpeng Jiang	An Enhanced HAL-Based Pseudo Relevance Feedback Model in Clinical Decision Support Retrieval.	ICIC (2)	2018	DBLP DOI BibTeX RDF
22	Sorin Adam Matei, Elisa Bertino	Can N-Version Decision-Making Prevent the Rebirth of HAL 9000 in Military Camo? Using a "Golden Rule" Threshold to Prevent AI Mission Individuation.	PADG@ESORICS	2018	DBLP DOI BibTeX RDF
22	Giuseppe Francesco Rigano, Luca Muratore, Arturo Laurenzi, Enrico Mingo Hoffman, Nikos G. Tsagarakis	Towards a Robot Hardware Abstraction Layer (R-Hal) Leveraging the XBot Software Framework.	IRC	2018	DBLP DOI BibTeX RDF
22	Annaïg Mahé, Camille Prime-Claverie	Science ouverte et présence numérique des chercheurs en sciences humaines et socialesUne étude exploratoire à partir de deux plateformes en ligne : HAL-SHS et Hypotheses.org.	Document Numérique	2017	DBLP DOI BibTeX RDF
22	Marc Fyrbiak, Sebastian Wallat, Pawel Swierczynski, Max Hoffmann 0001, Sebastian Hoppach, Matthias Wilhelm 0002, Tobias Weidlich, Russell Tessier, Christof Paar	HAL- The Missing Piece of the Puzzle for Hardware Reverse Engineering, Trojan Detection and Insertion.	IACR Cryptol. ePrint Arch.	2017	DBLP BibTeX RDF
22	Merten Popp, Orlando Moreira, Wim Yedema, Menno Lindwer	Automatic HAL generation for embedded multiprocessor systems.	EMSOFT	2016	DBLP DOI BibTeX RDF
22	Hiroaki Kawamoto, Hideki Kadone, Takeru Sakurai, Yoshiyuki Sankai	Modification of hemiplegic compensatory gait pattern by symmetry-based motion controller of HAL.	EMBC	2015	DBLP DOI BibTeX RDF
22	Jay M. Kapellusch, Arun Garg, Kurt T. Hegmann, Matthew S. Thiese, Elizabeth J. Malloy	The Strain Index and ACGIH TLV for HAL: Risk of Trigger Digit in the WISTAH Prospective Cohort.	Hum. Factors	2014	DBLP DOI BibTeX RDF
22	Hiroaki Kawamoto, Hideki Kadone, Takeru Sakurai, Ryohei Ariyasu, Yukiko Ueno, Kiyoshi Eguchi, Yoshiyuki Sankai	Development of an assist controller with robot suit HAL for hemiplegic patients using motion data on the unaffected side.	EMBC	2014	DBLP DOI BibTeX RDF
22	Glenn Hickey, Benedict Paten, Dent Earl, Daniel R. Zerbino, David Haussler	HAL: a hierarchical format for storing and analyzing multiple genome alignments.	Bioinform.	2013	DBLP DOI BibTeX RDF
22	Tao Xu, Qinke Peng, Yinzhao Cheng	Identifying the semantic orientation of terms using S-HAL for sentiment analysis.	Knowl. Based Syst.	2012	DBLP DOI BibTeX RDF
22	Cota Nabeshima, Hiroaki Kawamoto, Yoshiyuki Sankai	Strength testing machines for wearable walking assistant robots based on risk assessment of Robot Suit HAL.	ICRA	2012	DBLP DOI BibTeX RDF
22	Kanako Yamawaki, Ryohei Ariyasu, Shigeki Kubota, Hiroaki Kawamoto, Yoshio Nakata, Kiyotaka Kamibayashi, Yoshiyuki Sankai, Kiyoshi Eguchi, Naoyuki Ochiai	Application of Robot Suit HAL to Gait Rehabilitation of Stroke Patients: A Case Study.	ICCHP (2)	2012	DBLP DOI BibTeX RDF
22	Takumi Taketomi, Yoshiyuki Sankai	Stair ascent assistance for cerebral palsy with robot suit HAL.	SII	2012	DBLP DOI BibTeX RDF
22	Hiromasa Hara, Yoshiyuki Sankai	HAL equipped with passive mechanism.	SII	2012	DBLP DOI BibTeX RDF
22	Patrik Lambert, Holger Schwenk, Frédéric Blain	Automatic Translation of Scientific Documents in the HAL Archive.	LREC	2012	DBLP BibTeX RDF
22	Atsushi Tsukahara, Yasuhisa Hasegawa, Yoshiyuki Sankai	Gait support for complete spinal cord injury patient by synchronized leg-swing with HAL.	IROS	2011	DBLP DOI BibTeX RDF
22	Christopher Nell, Chris Fawcett, Holger H. Hoos, Kevin Leyton-Brown	HAL: A Framework for the Automated Analysis and Design of High-Performance Algorithms.	LION	2011	DBLP DOI BibTeX RDF
22	Hiroaki Kawamoto, Tomoya Shiraki, Tasuku Otsuka, Yoshiyuki Sankai	Meal-assistance by Robot Suit HAL using detection of food position with camera.	ROBIO	2011	DBLP DOI BibTeX RDF
22	Tasuku Otsuka, Ko Kawaguchi, Hiroaki Kawamoto, Yoshiyuki Sankai	Development of upper-limb type HAL and reaching movement for meal-assistance.	ROBIO	2011	DBLP DOI BibTeX RDF
22	Atsushi Tsukahara, Ryota Kawanishi, Yasuhisa Hasegawa, Yoshiyuki Sankai	Sit-to-Stand and Stand-to-Sit Transfer Support for Complete Paraplegic Patients with Robot Suit HAL.	Adv. Robotics	2010	DBLP DOI BibTeX RDF