Resolution (logic)

Related papers: 20

Top Cited Papers

STRIPS: a new approach to the application of theorem proving to problem solving

Richard Fikes, Nils J. Nilsson

Citations: 1487 • 1971

Soft magnetic skin for super-resolution tactile sensing with force self-decoupling

Youcan Yan, Zhe Hu, Zhengbao Yang, Wenzhen Yuan, Chaoyang Song, Jia Pan, Yajing Shen

Citations: 522 • 2021

APPLICATION OF THEOREM PROVING TO PROBLEM SOLVING**This research is a part of Project Defender and was supported by the Advanced Research Projects Agency of the Department of Defense and was monitored by Rome Air Development Center under Contracts AF 30(602)-4147 and F30602-69-C-0056.††This preprint is a preliminary version and is subject to modification prior to publication.

Cordell Green

Citations: 463 • 1981

Using interpolation to improve path planning: The Field D<sup>*</sup> algorithm

Dave Ferguson, Anthony Stentz

Citations: 387 • 2006

Energy-Aware Coverage Path Planning of UAVs

Carmelo Di Franco, Giorgio Buttazzo

Citations: 364 • 2015

A micro optical force sensor for force feedback during minimally invasive robotic surgery

Jan Peirs, Joeri Clijnen, Dominiek Reynaerts, Hendrik Van Brussel, Paul Herijgers, Brecht Corteville, S Boone

Citations: 338 • 2004

Iontronic pressure sensor with high sensitivity over ultra-broad linear range enabled by laser-induced gradient micro-pyramids

Ruoxi Yang, Ankan Dutta, Bowen Li, Naveen Tiwari, Wanqing Zhang, Zhenyuan Niu, Yuyan Gao, Daniel Erdely, Xin Xin, Tiejun Li, Huanyu Cheng

Citations: 324 • 2023

A simplified and efficient method for the analysis of fatty acid methyl esters suitable for large clinical studies

Athar M Masood, Ken D. Stark, Norman Salem

Citations: 274 • 2005

Lifetime-selective fluorescence imaging using an rf phase-sensitive camera

Joseph R. Lakowicz, Klaus W. Berndt

Citations: 254 • 1991

An anthropomorphic retina-like structure for scene analysis

Giulio Sandini, V. Tagliasco

Citations: 187 • 1980

Tissue protein imaging at 1 μm laser spot diameter for high spatial resolution and high imaging speed using transmission geometry MALDI TOF MS

Andre Zavalin, Junhai Yang, Kevin Hayden, Marvin L. Vestal, Richard M. Caprioli

Citations: 185 • 2015

A sub-millimetric, 0.25 mN resolution fully integrated fiber-optic force-sensing tool for retinal microsurgery

Iulian Iordachita, Zhenglong Sun, Marcin Balicki, Jin U. Kang, Soo Jay Phee, James T. Handa, Peter Gehlbach, Russell H. Taylor

Citations: 182 • 2009

Dynamic shape

Jan J. Koenderink, Andrea J. van Doorn

Citations: 182 • 1986

Significance of observation strategy on the design of robot calibration experiments

Morris R. Driels, Uday S. Pathre

Citations: 177 • 1990

Privacy-Preserving Human Activity Recognition from Extreme Low Resolution

Michael S. Ryoo, Brandon Rothrock, Charles B. Fleming, Hyun Jong Yang

Citations: 147 • 2017

Self-powered artificial electronic skin for high-resolution pressure sensing

Mingyuan Ma, Zheng Zhang, Qingliang Liao, Yi Fang, Linhong Han, Guangjie Zhang, Shuo Liu, Xinqin Liao, Yue Zhang

Citations: 144 • 2017

Fast path planning using modified A* method

Charles W. Warren

Citations: 143 • 2002

ID22 – the high-resolution powder-diffraction beamline at ESRF

Andrew N. Fitch, Catherine Dejoie, Ezio Covacci, Giorgia Confalonieri, Ola G. Grendal, L. Claustre, Perceval Guillou, Jérôme Kieffer, Wout De Nolf, Sébastien Petitdemange, Marie Ruat, Yves Watier

Citations: 133 • 2023

Exact Collision Checking of Robot Paths

Fabian Schwarzer, Mitul Saha, Jean‐Claude Latombe

Citations: 121 • 2004

Wireless Flexible Magnetic Tactile Sensor with Super-Resolution in Large-Areas

Hao Hu, Chengqian Zhang, Chengfeng Pan, Huangzhe Dai, Haonan Sun, Yifeng Pan, Xinyi Lai, Chenxin Lyu, Daofan Tang, Jianzhong Fu, Peng Zhao

Citations: 118 • 2022