Search results for "closure"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
13	Nevin Heintze, Joxan Jaffar	A Finite Presentation Theorem for Approximating Logic Programs.	POPL	1990	DBLP DOI BibTeX RDF
13	Tze-Heng Ma, Jeremy P. Spinrad	Avoiding Matrix Multiplication.	WG	1990	DBLP DOI BibTeX RDF
13	Frank S. de Boer, Catuscia Palamidessi	On the Asynchronous Nature of Communication in Concurrent Logic Languages: A Fully Abstract Model Based on Sequences.	CONCUR	1990	DBLP DOI BibTeX RDF	1987 Computing Reviews Categories D.1.3, D.3.1, F.1.2, F.3.2
13	Ernest F. Brickell, Douglas R. Stinson	Some Improved Bounds on the Information Rate of Perfect Secret Sharing Schemes.	CRYPTO	1990	DBLP DOI BibTeX RDF
13	Klaus Simon	Finding a Minimal Transitive Reduction in a Strongly Connected Digraph within Linear Time.	WG	1989	DBLP DOI BibTeX RDF
13	Miki Hermann	Chain Properties of Rule Closures.	STACS	1989	DBLP DOI BibTeX RDF
13	Yuejun Jiang	An Autoepistemic Logical View of Knowledge Base.	FSTTCS	1989	DBLP DOI BibTeX RDF	AI in Database, Incomplete knowledge, Complete Database, Nonstandard Logic, Modal logic, Deductive database, Integrity Constraints, Non-monotonic logic, Closed World Assumption, Possible worlds semantics, Autoepistemic logic
13	Gene Cooperman, Larry Finkelstein, Eugene M. Luks	Reduction of Group Constructions to Point Stabilizers.	ISSAC	1989	DBLP DOI BibTeX RDF
13	Dietmar Seipel	A Graph-Based Decomposition Approach for Recursive Query Processing.	WG	1988	DBLP DOI BibTeX RDF
13	Victor Vianu	Dynamic functional dependencies and database aging.	J. ACM	1987	DBLP DOI BibTeX RDF
13	Klaus-Jörn Lange	Nondeterministic Logspace Reductions.	MFCS	1984	DBLP DOI BibTeX RDF
13	Daniel Leivant	Structural Semantics for Polymorphic Data Types.	POPL	1983	DBLP DOI BibTeX RDF
13	Victor Vianu	Dynamic Constraints and Database Evolution.	PODS	1983	DBLP DOI BibTeX RDF
13	Eric Lilin	Proprietes de Cloture d'une Extension de Transducteurs d'Arbres Deterministes.	CAAP	1981	DBLP DOI BibTeX RDF
13	Anthony C. Klug	Calculating Constraints on Relational Expressions.	ACM Trans. Database Syst.	1980	DBLP DOI BibTeX RDF	eompleteness, constraints, Views, functional dependencies, derivation rules
13	Joachim Biskup, Umeshwar Dayal, Philip A. Bernstein	Synthesizing Independent Database Schemas.	SIGMOD Conference	1979	DBLP DOI BibTeX RDF
11	Jianqiao Duan, Yuchun Huang, Yuyan Wang, Xi Ye, He Yang	Multipath-Closure Calibration of Stereo Camera and 3D LiDAR Combined with Multiple Constraints.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
11	Tristan Hascoet, Victor Pellet, Filipe Aires, Tetsuya Takiguchi	Learning Global Evapotranspiration Dataset Corrections from a Water Cycle Closure Supervision.	Remote. Sens.	2024	DBLP DOI BibTeX RDF
11	Guram Bezhanishvili, David Fernández-Duque	The Baire Closure and its Logic.	J. Symb. Log.	2024	DBLP DOI BibTeX RDF
11	Gül Deniz Çayli	Constructing Uninorms on Bounded Lattices Through Closure and Interior Operators.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2024	DBLP DOI BibTeX RDF
11	Hao Sun, Peng Wang, Cui Ni, Jin Ming Li	Loop closure detection based on image semantic feature and bag-of-words.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
11	Haosong Yue, Danyang Cao, Zhong Liu, Tian Wang 0002, Weihai Chen	Cross Fusion of Point Cloud and Learned Image for Loop Closure Detection.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
11	Zhenzhong Cao, Qianyi Zhang, Jinzheng Guang, Shichao Wu, Zhengxi Hu, Jingtai Liu	SemanticTopoLoop: Semantic Loop Closure With 3D Topological Graph Based on Quadric-Level Object Map.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
11	Ilseung Yoon, Tariq Islam, Kwangrok Kim, Cheolhyeon Kwon	Viewpoint-Aware Visibility Scoring for Point Cloud Registration in Loop Closure.	IEEE Robotics Autom. Lett.	2024	DBLP DOI BibTeX RDF
11	Sigall K. Bell, Maelys J. Amat, Timothy S. Anderson, Mark D. Aronson, James C. Benneyan, Leonor Fernandez, Dru A Ricci, Talya Salant, Gordon D. Schiff, Umber Shafiq, Sara J. Singer, Scot B. Sternberg, Cancan Zhang, Russell S. Phillips	Do patients who read visit notes on the patient portal have a higher rate of "loop closure" on diagnostic tests and referrals in primary care? A retrospective cohort study.	J. Am. Medical Informatics Assoc.	2024	DBLP DOI BibTeX RDF
11	Shiyu Bai, Jizhou Lai, Pin Lyu, Yiting Cen, Xin Sun, Bingqing Wang	Performance Enhancement of Tightly Coupled GNSS/IMU Integration Based on Factor Graph With Robust TDCP Loop Closure.	IEEE Trans. Intell. Transp. Syst.	2024	DBLP DOI BibTeX RDF
11	Stefano Boccelli, Willem Kaufmann, Thierry E. Magin, James G. McDonald	Numerical simulation of rarefied supersonic flows using a fourth-order maximum-entropy moment method with interpolative closure.	J. Comput. Phys.	2024	DBLP DOI BibTeX RDF
11	Huimin Pan, Dongfeng Liu, Jingzheng Ren, Tianxiong Huang, Huijun Yang	LiDAR-IMU Tightly-Coupled SLAM Method Based on IEKF and Loop Closure Detection.	IEEE J. Sel. Top. Appl. Earth Obs. Remote. Sens.	2024	DBLP DOI BibTeX RDF
11	Graham Pash, Malik Hassanaly, Shashank Yellapantula	A Priori Uncertainty Quantification of Reacting Turbulence Closure Models using Bayesian Neural Networks.	CoRR	2024	DBLP DOI BibTeX RDF
11	Benjamin Sanderse, Panos Stinis, Romit Maulik, Shady E. Ahmed	Scientific machine learning for closure models in multiscale problems: a review.	CoRR	2024	DBLP DOI BibTeX RDF
11	Marcin Brianski, Daniel Král, Kristýna Pekárková	Branch-depth is minor closure of contraction-deletion-depth.	CoRR	2024	DBLP DOI BibTeX RDF
11	Afra Feyza Akyürek, Ekin Akyürek, Leshem Choshen, Derry Wijaya, Jacob Andreas	Deductive Closure Training of Language Models for Coherence, Accuracy, and Updatability.	CoRR	2024	DBLP DOI BibTeX RDF
11	Jan-Philipp von Bassewitz, Sebastian Kaltenbach, Petros Koumoutsakos	Closure Discovery for Coarse-Grained Partial Differential Equations using Multi-Agent Reinforcement Learning.	CoRR	2024	DBLP DOI BibTeX RDF
11	Jiangfu Wang, Huazhong Tang, Kailiang Wu	High-order accurate positivity-preserving and well-balanced discontinuous Galerkin schemes for ten-moment Gaussian closure equations with source terms.	CoRR	2024	DBLP DOI BibTeX RDF
11	Syver Døving Agdestein, Benjamin Sanderse	Discretize first, filter next: learning divergence-consistent closure models for large-eddy simulation.	CoRR	2024	DBLP DOI BibTeX RDF
11	Christof Löding, Wolfgang Thomas	On the Boolean Closure of Deterministic Top-Down Tree Automata.	CoRR	2024	DBLP DOI BibTeX RDF
11	Yihuai Gao, Yukai Tang, Han Qi, Heng Yang	CLOSURE: Fast Quantification of Pose Uncertainty Sets.	CoRR	2024	DBLP DOI BibTeX RDF
11	David C. Freeman, Dimitrios Giannakis, Joanna Slawinska	Quantum Mechanics for Closure of Dynamical Systems.	Multiscale Model. Simul.	2024	DBLP DOI BibTeX RDF
11	Christof Löding, Wolfgang Thomas	On the Boolean Closure of Deterministic Top-Down Tree Automata.	Int. J. Found. Comput. Sci.	2024	DBLP DOI BibTeX RDF
11	Chính T. Hoàng, Cléophée Robin	A Closure Lemma for tough graphs and Hamiltonian degree conditions.	Discret. Math.	2024	DBLP DOI BibTeX RDF
11	Changhao Yu, Zichen Chao, Haoran Xie 0005, Yue Hua, Weitao Wu	An Enhanced Multi-Sensor Simultaneous Localization and Mapping (SLAM) Framework with Coarse-to-Fine Loop Closure Detection Based on a Tightly Coupled Error State Iterative Kalman Filter.	Robotics	2024	DBLP DOI BibTeX RDF
11	Ahmadi Hasan, Ahmad Kamal	Community detection of weighted complex networks via transitive closure.	Computing	2024	DBLP DOI BibTeX RDF
11	Pieter Meiresone, David Van Hamme, Wilfried Philips	Loop closure with a low power millimeter wave radar sensor using an autoencoder.	NLDL	2024	DBLP BibTeX RDF
11	Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001	Closure Certificates.	HSCC	2024	DBLP DOI BibTeX RDF
11	Alireza Nadali, Vishnu Murali, Ashutosh Trivedi 0001, Majid Zamani 0001	Neural Closure Certificates.	AAAI	2024	DBLP DOI BibTeX RDF
11	Jonathan J. Y. Kim, Martin Urschler, Patricia J. Riddle, Jörg S. Wicker	Attacking the Loop: Adversarial Attacks on Graph-Based Loop Closure Detection.	VISIGRAPP (4): VISAPP	2024	DBLP DOI BibTeX RDF
11	Sudarshan S. Harithas, Gurkirat Singh, Aneesh Chavan, Sarthak Sharma, Suraj Patni, Chetan Arora 0001, K. Madhava Krishna	FinderNet: A Data Augmentation Free Canonicalization aided Loop Detection and Closure technique for Point clouds in 6-DOF separation.	WACV	2024	DBLP DOI BibTeX RDF
11	N. Vamshi Krishna, Anushka Chaudhary, Soumya J.	FGG: Feedback Guided Generation to Accelerate Functional Coverage Closure on Network-on-Chip Processors.	VLSID	2024	DBLP DOI BibTeX RDF
11	Marco Wilhelm, Gabriele Kern-Isberner, Christoph Beierle	Core c-Representations and c-Core Closure for Conditional Belief Bases.	FoIKS	2024	DBLP DOI BibTeX RDF
11	Stefan Hoffmann 0001	Automata Classes Accepting Languages Whose Commutative Closure is Regular.	SOFSEM	2024	DBLP DOI BibTeX RDF
11	Min Dai, Steven Kou, H. Mete Soner, Chen Yang	Leveraged Exchange-Traded Funds with Market Closure and Frictions.	Manag. Sci.	2023	DBLP DOI BibTeX RDF
11	Jose López-Miralles, José-María Martí, Manel Perucho	On the application of Jacobian-free Riemann solvers for relativistic radiation magnetohydrodynamics under M1 closure.	Comput. Phys. Commun.	2023	DBLP DOI BibTeX RDF
11	Stan Karanasios, Aljona Zorina	From participation roles to socio-emotional information roles: Insights from the closure of an online community.	J. Assoc. Inf. Sci. Technol.	2023	DBLP DOI BibTeX RDF
11	Kelechukwu Tersoo Genger, Amin Hammad	Street closure prediction based on the combined conditions of spatially collocated municipal infrastructure assets at the segment level.	Expert Syst. Appl.	2023	DBLP DOI BibTeX RDF
11	Lijun Zhang, Weisheng Yan, Huiping Li	An Efficient Online Loop Closure Detection System With Local Spatial Co-Occurrence Information.	IEEE Trans. Ind. Electron.	2023	DBLP DOI BibTeX RDF
11	Dong Kong, Xu Li 0004, Yanqing Cen, Qimin Xu, Aimin Wang	Simultaneous Viewpoint- and Condition-Invariant Loop Closure Detection Based on LiDAR Descriptor for Outdoor Large-Scale Environments.	IEEE Trans. Ind. Electron.	2023	DBLP DOI BibTeX RDF
11	Sergio Hernández, Juan Luis López, Xaviera A. López-Cortés, Angélica Urrutia	Explainable Hidden Markov Model for road safety: a case of road closure recommendations in extreme weather conditions.	J. Intell. Fuzzy Syst.	2023	DBLP DOI BibTeX RDF
11	Jiazhong Zhang, Shuai Wang, Xiaojun Tan	ODLC_SAM: a novel LiDAR SLAM system towards open-air environments with loop closure.	Ind. Robot	2023	DBLP DOI BibTeX RDF
11	Zhengnan Hu, Likun Hu	Visual Loop Closure Detection Based on SqueezeNet Multi-layer Feature Fusion and Adaptive Range Matching Algorithm.	J. Intell. Robotic Syst.	2023	DBLP DOI BibTeX RDF
11	Karima Ennaoui, Khaled Maafa, Lhouari Nourine	Representations for the Largest Extension of a Closure System.	Order	2023	DBLP DOI BibTeX RDF
11	William Gustafson	Polymatroids, Closure Operators and Lattices.	Order	2023	DBLP DOI BibTeX RDF
11	Zhihong Chen, Junqiao Zhao, Tiantian Feng, Chen Ye 0002, Lu Xiong	Robust Loop Closure Selection Based on Inter-Robot and Intra-Robot Consistency for Multi-Robot Map Fusion.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
11	Zengliang Luo, Han Yu, Huan Liu, Jie Chen	Assessing the Water Budget Closure Accuracy of Satellite/Reanalysis-Based Hydrological Data Products over Mainland China.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
11	Gang Wang, Xudong Jiang, Wei Zhou, Yu Chen, Hao Zhang 0064	3PCD-TP: A 3D Point Cloud Descriptor for Loop Closure Detection with Twice Projection.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
11	Xuancheng Lu, Jun Wen, Dongxiao Wang, Wenhui Liu, Yue Yang, Hui Tian, Yueyue Wu, Yuqin Jiang	The Influence of Horizontal Thermal Advection on Near-Surface Energy Budget Closure over the Zoige Alpine Wetland, China.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
11	Pierre-Yves Declercq, Michiel Dusar, Eric Pirard, Jeffrey Verbeurgt, Atefe Choopani, Xavier Devleeschouwer	Post Mining Ground Deformations Transition Related to Coal Mines Closure in the Campine Coal Basin, Belgium, Evidenced by Three Decades of MT-InSAR Data.	Remote. Sens.	2023	DBLP DOI BibTeX RDF
11	Jie Yang, Zhixiao Wang, Xiaobin Rui, Yahui Chai, Philip S. Yu, Lichao Sun 0001	Triadic Closure Sensitive Influence Maximization.	ACM Trans. Knowl. Discov. Data	2023	DBLP DOI BibTeX RDF
11	Junaid Khalid, Qingxiong Derek Weng, Adeel Luqman, Muhammad Imran Rasheed, Maryam Hina	After-hours work-related technology use and individuals' deviance: the role of interruption overload, psychological transition and task closure.	Kybernetes	2023	DBLP DOI BibTeX RDF
11	Giovanni Casini, Umberto Straccia	Defeasible RDFS via rational closure.	Inf. Sci.	2023	DBLP DOI BibTeX RDF
11	Wenyu Gao, Hang Gao	2k-Vertex Kernels for Cluster Deletion and Strong Triadic Closure.	J. Comput. Sci. Technol.	2023	DBLP DOI BibTeX RDF
11	Meng Xu 0004, Shiqi Lin, Jikai Wang, Zonghai Chen	A LiDAR SLAM System With Geometry Feature Group-Based Stable Feature Selection and Three-Stage Loop Closure Optimization.	IEEE Trans. Instrum. Meas.	2023	DBLP DOI BibTeX RDF
11	Danyang Cao, Haosong Yue, Zhong Liu, Xingming Wu, Weihai Chen	BEVLCD+: Real-Time and Rotation-Invariant Loop Closure Detection Based on BEV of Point Cloud.	IEEE Trans. Instrum. Meas.	2023	DBLP DOI BibTeX RDF
11	Erick Chastain	Formal autopoiesis: Solutions of the classical and extended functional closure equations.	Biosyst.	2023	DBLP DOI BibTeX RDF
11	Atsushi Masumori, Takashi Ikegami	Spiking neural networks produce informational closure by stimulus avoidance.	Biosyst.	2023	DBLP DOI BibTeX RDF
11	Anna Ivagnes, Giovanni Stabile, Andrea Mola, Traian Iliescu, Gianluigi Rozza	Hybrid data-driven closure strategies for reduced order modeling.	Appl. Math. Comput.	2023	DBLP DOI BibTeX RDF
11	Ruhui Zhang, Duan-Shin Lee, Cheng-Shang Chang	A Generalized Configuration Model With Triadic Closure.	IEEE Trans. Netw. Sci. Eng.	2023	DBLP DOI BibTeX RDF
11	Jirí Mockor	Closure theory for semirings-valued fuzzy sets with applications to new fuzzy structures.	Int. J. Approx. Reason.	2023	DBLP DOI BibTeX RDF
11	Lawqueen Kanesh, Jayakrishnan Madathil, Sanjukta Roy, Abhishek Sahu, Saket Saurabh 0001	Further Exploiting c-Closure for FPT Algorithms and Kernels for Domination Problems.	SIAM J. Discret. Math.	2023	DBLP DOI BibTeX RDF
11	Dyhia Bouhadjra, Angelo Alessandri, Patrizia Bagnerini, Ali Zemouche	Moving horizon estimation of Amnioserosa cell dynamics during Drosophila dorsal closure.	Eur. J. Control	2023	DBLP DOI BibTeX RDF
11	Michael Kam, Shuwen Wei, Justin D. Opfermann, Hamed Saeidi, Michael H. Hsieh, Karen C. Wang, Jin U. Kang, Axel Krieger	Autonomous System for Vaginal Cuff Closure via Model-Based Planning and Markerless Tracking Techniques.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
11	José Arce, Niclas Vödisch, Daniele Cattaneo 0001, Wolfram Burgard, Abhinav Valada	PADLoC: LiDAR-Based Deep Loop Closure Detection and Registration Using Panoptic Attention.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
11	Wei Xu, Weichao Guo, Xu Shi, Xinjun Sheng, Xiangyang Zhu	Fast Force-Closure Grasp Synthesis With Learning-Based Sampling.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
11	Junfeng Yu, Shaojie Shen	SemanticLoop: Loop Closure With 3D Semantic Graph Matching.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
11	Yuquan He, Long Zhang, Cheng Liu 0008, Lei Zhang 0008, Ying Wang 0001	S$^{2}$ Loop: A Lightweight Spectral-Spatio Loop Closure Detector for Resource-Constrained Platforms.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
11	Jostein Løwer, Irja Gravdahl, Damiano Varagnolo, Øyvind Stavdahl	Form Closure for Fully Actuated and Robust Obstacle-Aided Locomotion in Snake Robots.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
11	Shan An, Haogang Zhu, Dong Wei, Konstantinos A. Tsintotas, Antonios Gasteratos	Corrigendum for "Fast and incremental loop closure detection with deep features and proximity graphs".	J. Field Robotics	2023	DBLP DOI BibTeX RDF
11	Tomasz Debiec, Endre Süli	Corotational Hookean Models of Dilute Polymeric Fluids: Existence of Global Weak Solutions, Weak-Strong Uniqueness, Equilibration, and Macroscopic Closure.	SIAM J. Math. Anal.	2023	DBLP DOI BibTeX RDF
11	Kaining Zhang, Zizhuo Li, Jiayi Ma 0001	Loop Closure Detection With Bidirectional Manifold Representation Consensus.	IEEE Trans. Intell. Transp. Syst.	2023	DBLP DOI BibTeX RDF
11	Yishui Li, Runduo Liu, Jie Liu 0002, Haibin Luo, Chengkun Wu, Zhe Li	An Open Source Graph-Based Weighted Cycle Closure Method for Relative Binding Free Energy Calculations.	J. Chem. Inf. Model.	2023	DBLP DOI BibTeX RDF
11	Min Yang, Xiaoliang Chen, Baiyang Chen, Peng Lu, Yajun Du	DNETC: dynamic network embedding preserving both triadic closure evolution and community structures.	Knowl. Inf. Syst.	2023	DBLP DOI BibTeX RDF
11	Alexandra Baumgart, Guillaume Beardsell, Guillaume Blanquart	Analytical closure to the spatially-filtered Euler equations for shock-dominated flows.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
11	Michele Pütz, Michael Oevermann	Performance and accuracy of the basic closure algorithm of quadrature-based moment methods.	J. Comput. Phys.	2023	DBLP DOI BibTeX RDF
11	Stefan Hoffmann 0001	State Complexity Bounds for the Commutative Closure of Group Languages.	J. Autom. Lang. Comb.	2023	DBLP DOI BibTeX RDF
11	Shady E. Ahmed, Omer San	Forward sensitivity analysis and mode dependent control for closure modeling of Galerkin systems.	Comput. Math. Appl.	2023	DBLP DOI BibTeX RDF
11	Hugo Melchers, Daan Crommelin, Barry Koren, Vlado Menkovski, Benjamin Sanderse	Comparison of neural closure models for discretised PDEs.	Comput. Math. Appl.	2023	DBLP DOI BibTeX RDF
11	Florian Seiffarth, Tamás Horváth 0001, Stefan Wrobel	Maximal closed set and half-space separations in finite closure systems.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
11	Mohamed Amine Baazizi, Dario Colazzo, Giorgio Ghelli, Carlo Sartiani, Stefanie Scherzinger	Negation-closure for JSON Schema.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
11	Sungmin Kim, Yo-Sub Han, Sang-Ki Ko, Kai Salomaa	On Simon's congruence closure of a string.	Theor. Comput. Sci.	2023	DBLP DOI BibTeX RDF
11	Thomas Hitchcox, James Richard Forbes	Improving Self-Consistency in Underwater Mapping Through Laser-Based Loop Closure.	IEEE Trans. Robotics	2023	DBLP DOI BibTeX RDF
11	Ali Samadzadeh, Ahmad Nickabadi	SRVIO: Super Robust Visual Inertial Odometry for Dynamic Environments and Challenging Loop-Closure Conditions.	IEEE Trans. Robotics	2023	DBLP DOI BibTeX RDF