Author of the publication

Efficient SAT-Based Search for Longest Sensitisable Paths.

, , , , and . Asian Test Symposium, page 108-113. IEEE Computer Society, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

The DCU machine translation systems for IWSLT 2011., , , , , , and . IWSLT, page 41-48. ISCA, (2011)Efficient SAT-Based Search for Longest Sensitisable Paths., , , , and . Asian Test Symposium, page 108-113. IEEE Computer Society, (2011)DCU's Experiments for the NTCIR-8 IR4QA Task., , , , and . NTCIR, page 130-135. National Institute of Informatics (NII), (2010)OperA+: a model for context-aware organizational interactions in virtual organizations.. AAMAS, page 1435-1436. IFAAMAS, (2013)Credit based Fairness Control in Wireless Sensor Network., , , , and . SNPD (1), page 817-822. IEEE Computer Society, (2007)RPNet: A Representation Learning-Based Star Identification Algorithm., , and . IEEE Access, (2019)Automatic Registration Method for Optical Remote Sensing Images with Large Background Variations Using Line Segments., and . Remote Sensing, 8 (5): 426 (2016)CraterIDNet: An End-to-End Fully Convolutional Neural Network for Crater Detection and Identification in Remotely Sensed Planetary Images., , and . Remote Sensing, 10 (7): 1067 (2018)An FPGA implementation for real-time edge detection., , and . J. Real-Time Image Processing, 15 (4): 787-797 (2018)Performance-enhancing network pruning for crowd counting., , , , , and . Neurocomputing, (2019)