Search results for "Refinements"

Hits ?▲	Authors	Title	Venue	Year	Link
17	Flavio Ascari, Roberto Bruni, Roberta Gori	Logics for Extensional, Locally Complete Analysis via Domain Refinements.	ESOP	2023	DBLP DOI BibTeX RDF
17	Adrien Banse, Licio Romao, Alessandro Abate, Raphaël M. Jungers	Data-driven Abstractions via Adaptive Refinements and a Kantorovich Metric.	CDC	2023	DBLP DOI BibTeX RDF
17	André Platzer	Refinements of Hybrid Dynamical Systems Logic.	ABZ	2023	DBLP DOI BibTeX RDF
17	Shuo Ding, Qirun Zhang	Mutual Refinements of Context-Free Language Reachability.	SAS	2023	DBLP DOI BibTeX RDF
17	Conny Olz, Pascal Bercher	A Look-Ahead Technique for Search-Based HTN Planning: Reducing the Branching Factor by Identifying Inevitable Task Refinements.	SOCS	2023	DBLP DOI BibTeX RDF
17	Rabéa Ameur-Boulifa, Quentin Corradi, Ludovic Henrio, Eric Madelaine	Refinements for Open Automata.	SEFM	2023	DBLP DOI BibTeX RDF
17	Guy Barokas, Yves Sprumont	The broken Borda rule and other refinements of approval ranking.	Soc. Choice Welf.	2022	DBLP DOI BibTeX RDF
17	Stathis Chadjiconstantinidis, Panos Xenos	Refinements of bounds for tails of compound distributions and ruin probabilities.	Appl. Math. Comput.	2022	DBLP DOI BibTeX RDF
17	Muhammad Tariq, Soubhagya Kumar Sahoo, Sotiris K. Ntouyas, Omar Mutab Alsalami, Asif Ali Shaikh, Kamsing Nonlaopon	Some New Refinements of Trapezium-Type Integral Inequalities in Connection with Generalized Fractional Integrals.	Axioms	2022	DBLP DOI BibTeX RDF
17	Aftab Alam, Reny George, Mohammad Imdad	Refinements to Relation-Theoretic Contraction Principle.	Axioms	2022	DBLP DOI BibTeX RDF
17	Tatiane F. N. Melo, Tiago M. Vargas, Artur J. Lemonte, Germán Moreno-Arenas	Higher-order asymptotic refinements in the multivariate Dirichlet regression model.	Commun. Stat. Simul. Comput.	2022	DBLP DOI BibTeX RDF
17	Jan Østergaard, Uri Erez, Ram Zamir	Incremental Refinements and Multiple Descriptions With Feedback.	IEEE Trans. Inf. Theory	2022	DBLP DOI BibTeX RDF
17	Viviana Giunzioni, John Erick Ortiz Guzman, Adrien Merlini, Simon B. Adrian, Francesco Paolo Andriulli	On a Calderón preconditioner for the symmetric formulation of the electroencephalography forward problem without barycentric refinements.	CoRR	2022	DBLP DOI BibTeX RDF
17	Lifeng Zhou, Kaifeng Wei, Yuke Li, Yiya Hao, Weiqiang Yang, Haoqi Zhu	Acoustic Pornography Recognition Using Convolutional Neural Networks and Bag of Refinements.	CoRR	2022	DBLP DOI BibTeX RDF
17	Tomasz Sluzalec, Rafal Wojciech Grzeszczuk, Sergio Rojas, Witold Dzwinel, Maciej Paszynski	Quasi-optimal hp-finite element refinements towards singularities via deep neural network prediction.	CoRR	2022	DBLP DOI BibTeX RDF
17	Hofit Ben-Zion Vardi, Nira Dyn, Nir Sharon	Geometric Hermite Interpolation in Rn by Refinements.	CoRR	2022	DBLP DOI BibTeX RDF
17	Samson Abramsky	Notes on presheaf representations of strategies and cohomological refinements of k-consistency and k-equivalence.	CoRR	2022	DBLP DOI BibTeX RDF
17	Jason Wu 0001, Titus Barik, Xiaoyi Zhang 0006, Colin Lea, Jeffrey Nichols 0001, Jeffrey P. Bigham	Reflow: Automatically Improving Touch Interactions in Mobile Applications through Pixel-based Refinements.	CoRR	2022	DBLP DOI BibTeX RDF
17	Stefan Rass, Sandra König, Stefan Schauer	Games over Probability Distributions Revisited: New Equilibrium Models and Refinements.	Games	2022	DBLP DOI BibTeX RDF
17	Giorgio Cruciata, Liliana Lo Presti, Marco La Cascia	Iterative Multiple Bounding-Box Refinements for Visual Tracking.	J. Imaging	2022	DBLP DOI BibTeX RDF
17	Tewodros Amdeberhan, George E. Andrews, Cristina M. Ballantine	Refinements of Beck-type partition identities.	Discret. Math.	2022	DBLP DOI BibTeX RDF
17	Ling Yang 0004, Nan Sun, Chris Rizos, Yiping Jiang	ARAIM Stochastic Model Refinements for GNSS Positioning Applications in Support of Critical Vehicle Applications.	Sensors	2022	DBLP DOI BibTeX RDF
17	Nico Roos	Extending dynamic logic with refinements of abstract actions.	J. Log. Comput.	2022	DBLP DOI BibTeX RDF
17	Shabnam Pasandideh, Pedro Pereira 0001, Luís Gomes 0001	Attack Tree Refinements Analysis and Verification by applying Coloured Petri Nets.	IECON	2022	DBLP DOI BibTeX RDF
17	Alexander Kolchin, Stepan Potiyenko	Extending Data Flow Coverage to Test Constraint Refinements.	IFM	2022	DBLP DOI BibTeX RDF
17	Eric Sakk	Computational Refinements for Post-Quantum Elliptic Curve Security.	CSP	2022	DBLP DOI BibTeX RDF
17	Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala	mist: Refinements of Futures Past (Artifact).	Dagstuhl Artifacts Ser.	2021	DBLP DOI BibTeX RDF
17	Xiaoli Sun, Yang Hai, Xiujun Zhang, Chen Xu 0004, Min Li 0024	Fast Defocus Blur Detection Network via Global Search and Local Refinements.	Int. J. Pattern Recognit. Artif. Intell.	2021	DBLP DOI BibTeX RDF
17	Ahmed El-Sayed Ahmed	Refinements on Some Classes of Complex Function Spaces.	Symmetry	2021	DBLP DOI BibTeX RDF
17	Gabriel Bercu	Refinements of Wilker-Huygens-Type Inequalities via Trigonometric Series.	Symmetry	2021	DBLP DOI BibTeX RDF
17	Hijaz Ahmad, Muhammad Tariq, Soubhagya Kumar Sahoo, Sameh S. Askar, Ahmed E. Abouelregal, Khaled Mohamed Khedher	Refinements of Ostrowski Type Integral Inequalities Involving Atangana-Baleanu Fractional Integral Operator.	Symmetry	2021	DBLP DOI BibTeX RDF
17	Frederik Gjørup, Mathias Mørch, Mogens Christensen	Reel1.0 - A visualization tool for evaluating powder diffraction refinements.	J. Open Source Softw.	2021	DBLP DOI BibTeX RDF
17	Sérgio Agostinho, Aljosa Osep, Alessio Del Bue, Laura Leal-Taixé	(Just) A Spoonful of Refinements Helps the Registration Error Go Down.	CoRR	2021	DBLP BibTeX RDF
17	Yu Rong, Jingbo Wang 0003, Ziwei Liu 0002, Chen Change Loy	Monocular 3D Reconstruction of Interacting Hands via Collision-Aware Factorized Refinements.	CoRR	2021	DBLP BibTeX RDF
17	Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala	Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types (Extended Version).	CoRR	2021	DBLP BibTeX RDF
17	Xingwei He 0003	Parallel Refinements for Lexically Constrained Text Generation with BART.	CoRR	2021	DBLP BibTeX RDF
17	Lewis Hammond, James Fox, Tom Everitt, Alessandro Abate, Michael J. Wooldridge	Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice.	CoRR	2021	DBLP BibTeX RDF
17	Siva Somayyajula, Frank Pfenning	Circular Proofs as Processes: Type-Based Termination via Arithmetic Refinements.	CoRR	2021	DBLP BibTeX RDF
17	William Gasarch	Hilbert's Tenth Problem: Refinements and Variants.	SIGACT News	2021	DBLP DOI BibTeX RDF
17	Martin R. Albrecht, Léo Ducas	Lattice Attacks on NTRU and LWE: A History of Refinements.	IACR Cryptol. ePrint Arch.	2021	DBLP BibTeX RDF
17	Wen Li, Elena Resmerita, Luminita A. Vese	Multiscale Hierarchical Image Decomposition and Refinements: Qualitative and Quantitative Results.	SIAM J. Imaging Sci.	2021	DBLP DOI BibTeX RDF
17	Sérgio Agostinho, Aljosa Osep, Alessio Del Bue, Laura Leal-Taixé	(Just) A Spoonful of Refinements Helps the Registration Error Go Down.	ICCV	2021	DBLP DOI BibTeX RDF
17	Sergey Korotov, Michal Krízek	Degeneracy of Tetrahedral Partitions Produced by Randomly Generated Red Refinements.	LSSC	2021	DBLP DOI BibTeX RDF
17	Guilhem Jaber, Colin Riba	Temporal Refinements for Guarded Recursive Types.	ESOP	2021	DBLP DOI BibTeX RDF
17	Anish Tondwalkar, Matthew Kolosick, Ranjit Jhala	Refinements of Futures Past: Higher-Order Specification with Implicit Refinement Types.	ECOOP	2021	DBLP DOI BibTeX RDF
17	Yu Rong, Jingbo Wang 0003, Ziwei Liu 0002, Chen Change Loy	Monocular 3D Reconstruction of Interacting Hands via Collision-Aware Factorized Refinements.	3DV	2021	DBLP DOI BibTeX RDF
17	Shankara Pailoor, Yuepeng Wang 0001, Xinyu Wang 0006, Isil Dillig	Synthesizing data structure refinements from integrity constraints.	PLDI	2021	DBLP DOI BibTeX RDF
17	Alexander P. Cox, Kiernan L. Johnson, Lauren Wishnie, Aaron S. Kemp, Jonathan P. Bona, Alexander D. Diehl	Recent Refinements of the NeuroPsychological Testing Ontology.	ICBO	2021	DBLP BibTeX RDF
17	Xingwei He 0003	Parallel Refinements for Lexically Constrained Text Generation with BART.	EMNLP (1)	2021	DBLP DOI BibTeX RDF
17	Lewis Hammond, James Fox, Tom Everitt, Alessandro Abate, Michael J. Wooldridge	Equilibrium Refinements for Multi-Agent Influence Diagrams: Theory and Practice. (PDF / PS)	AAMAS	2021	DBLP BibTeX RDF
17	Yiyun Liu, James Parker, Patrick Redmond, Lindsey Kuper, Michael Hicks 0001, Niki Vazou	Verifying replicated data types with typeclass refinements in Liquid Haskell.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
17	Fangyi Zhou 0002, Francisco Ferreira 0001, Raymond Hu, Rumyana Neykova, Nobuko Yoshida	Statically verified refinements for multiparty protocols.	Proc. ACM Program. Lang.	2020	DBLP DOI BibTeX RDF
17	Jung-Min Yang, Thomas Moor, Jörg Raisch	Refinements of behavioural abstractions for the supervisory control of hybrid systems.	Discret. Event Dyn. Syst.	2020	DBLP DOI BibTeX RDF
17	Oleg Lobachev	The Tempest in a Cubic Millimeter: Image-Based Refinements Necessitate the Reconstruction of 3D Microvasculature From a Large Series of Damaged Alternately-Stained Histological Sections.	IEEE Access	2020	DBLP DOI BibTeX RDF
17	Fúlvia S. S. de Oliveira, Fernando O. Souza	Further refinements in stability conditions for time-varying delay systems.	Appl. Math. Comput.	2020	DBLP DOI BibTeX RDF
17	Gabriel Bercu	New Refinements for the Error Function with Applications in Diffusion Theory.	Symmetry	2020	DBLP DOI BibTeX RDF
17	Stefania Boffa, Brunella Gerla	Sequences of Refinements of Rough Sets: Logical and Algebraic Aspects.	Trans. Rough Sets	2020	DBLP DOI BibTeX RDF
17	Fangyi Zhou 0002, Francisco Ferreira 0001, Raymond Hu, Rumyana Neykova, Nobuko Yoshida	Statically Verified Refinements for Multiparty Protocols.	CoRR	2020	DBLP BibTeX RDF
17	Piao Huang, Shoudong Han, Jun Zhao 0007, Donghaisheng Liu, Hongwei Wang, En Yu, Alex ChiChung Kot	Refinements in Motion and Appearance for Online Multi-Object Tracking.	CoRR	2020	DBLP BibTeX RDF
17	Ankush Das, Frank Pfenning	Session Types with Arithmetic Refinements.	CoRR	2020	DBLP BibTeX RDF
17	Ankush Das, Frank Pfenning	Session Types with Arithmetic Refinements and Their Application to Work Analysis.	CoRR	2020	DBLP BibTeX RDF
17	Feng Qi 0001, Wen-Hui Li 0003, Guo-Sheng Wu, Bai-Ni Guo	Refinements of Young's integral inequality via fundamental inequalities and mean value theorems for derivatives.	CoRR	2020	DBLP BibTeX RDF
17	Jan Østergaard, Uri Erez, Ram Zamir	Incremental Refinements and Multiple Descriptions with Feedback.	CoRR	2020	DBLP BibTeX RDF
17	Aifu Han, Yongze Zhang, Ajuan Li, Changjin Li, Fengying Zhao, Qiujie Dong, Qin Liu, Yanting Liu, Ximei Shen, Sunjie Yan, Shengzong Zhou	Efficient refinements on YOLOv3 for real-time detection and assessment of diabetic foot Wagner grades.	CoRR	2020	DBLP BibTeX RDF
17	Heriberto Román-Flores, A. Flores-Franulic, I. Aguirre-Cipe, M. Romero-Martínez	A Sugeno integral inequality of Carleman-Knopp type and some refinements.	Fuzzy Sets Syst.	2020	DBLP DOI BibTeX RDF
17	Yicheng Huang, Chang Xu 0001, Yanyan Jiang 0001, Huiyan Wang 0001, Da Li	WARDER: Towards effective spreadsheet defect detection by validity-based cell cluster refinements.	J. Syst. Softw.	2020	DBLP DOI BibTeX RDF
17	Bernard L. S. Lin	Refinements of the results on partitions and overpartitions with bounded part differences.	Discret. Math.	2020	DBLP DOI BibTeX RDF
17	Cláudia Nalon, Ullrich Hustadt, Clare Dixon	sf Kn : Architecture, Refinements, Strategies and Experiments.	J. Autom. Reason.	2020	DBLP DOI BibTeX RDF
17	Nicolas Gast	Refinements of Mean Field Approximation. (Raffinements de l'approximation champ moyen).		2020	RDF
17	Ankush Das, Frank Pfenning	Rast: Resource-Aware Session Types with Arithmetic Refinements (System Description).	FSCD	2020	DBLP DOI BibTeX RDF
17	Andreas Niskanen, Matti Järvisalo	Strong Refinements for Hard Problems in Argumentation Dynamics.	ECAI	2020	DBLP DOI BibTeX RDF
17	Ankush Das, Frank Pfenning	Session Types with Arithmetic Refinements.	CONCUR	2020	DBLP DOI BibTeX RDF
17	Murty Divakarla, Satya Kalluri, Kenneth L. Pryor, Chris Barnet, Changyi Tan, Mike Wilson, Tong Zhu, Juying Warner, Nicholas R. Nalli, Tianyuan Wang, Walter W. Wolf, Lihang Zhou	Nucaps Hyperspectral Infrared Atmospheric Sounding Product System: Products, Performance, and Algorithm Refinements for IASI-NG.	IGARSS	2020	DBLP DOI BibTeX RDF
17	Rafael Roberto, Daniel Perazzo, João Paulo Lima, Veronica Teichrieb, Jonysberg Peixoto Quintino, Fabio Q. B. da Silva, André L. M. Santos, Helder Pinho	Using Local Refinements on 360 Stitching from Dual-fisheye Cameras.	VISIGRAPP (5: VISAPP)	2020	DBLP DOI BibTeX RDF
17	Vijay Vasanth Arounachalam, Thamarai Pugazhendhi Latchoumi, Battula Bhavya, Shaik Sajida Sultana	Object Detection in Convolution Neural Networks Using Iterative Refinements.	Rev. d'Intelligence Artif.	2019	DBLP DOI BibTeX RDF
17	Cláudia Nalon, Clare Dixon, Ullrich Hustadt	Modal Resolution: Proofs, Layers, and Refinements.	ACM Trans. Comput. Log.	2019	DBLP DOI BibTeX RDF
17	Georg Hinkel	Using structural decomposition and refinements for deep modeling of software architectures.	Softw. Syst. Model.	2019	DBLP DOI BibTeX RDF
17	Hyeongyong Lim, Dongweon Yoon	Refinements of Binary Integration for Swerling Target Fluctuations.	IEEE Trans. Aerosp. Electron. Syst.	2019	DBLP DOI BibTeX RDF
17	Niek Tax, Emin Alasgarov, Natalia Sidorova, Reinder Haakma, Wil M. P. van der Aalst	Generating time-based label refinements to discover more precise process models.	J. Ambient Intell. Smart Environ.	2019	DBLP DOI BibTeX RDF
17	Nicusor Minculete	Some Refinements of Ostrowski's Inequality and an Extension to a 2-Inner Product Space.	Symmetry	2019	DBLP DOI BibTeX RDF
17	Kristoffer Arnsfelt Hansen	The Real Computational Complexity of Minmax Value and Equilibrium Refinements in Multi-player Games.	Theory Comput. Syst.	2019	DBLP DOI BibTeX RDF
17	Ibtihel Ben Gharbia, Jean Charles Gilbert	An Algorithmic Characterization of P-matricity II: Adjustments, Refinements, and Validation.	SIAM J. Matrix Anal. Appl.	2019	DBLP DOI BibTeX RDF
17	Enxian Chen, Lei Qiao, Xiang Sun 0004, Yeneng Sun	Equilibrium refinements in games with many players.	CoRR	2019	DBLP BibTeX RDF
17	Etienne Borde	Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems.	CoRR	2019	DBLP BibTeX RDF
17	Hanyu E, Ye Cui, Witold Pedrycz, Zhiwu Li 0001	Enhancements of rule-based models through refinements of Fuzzy C-Means.	Knowl. Based Syst.	2019	DBLP DOI BibTeX RDF
17	Nahla Ben Amor, Zeineb El Khalfi, Hélène Fargier, Régis Sabbadin	Lexicographic refinements in possibilistic decision trees and finite-horizon Markov decision processes.	Fuzzy Sets Syst.	2019	DBLP DOI BibTeX RDF
17	Eugene Syriani, Vasco Sousa, Levi Lúcio	Structure and behavior preserving statecharts refinements.	Sci. Comput. Program.	2019	DBLP DOI BibTeX RDF
17	Alberto Márquez 0001, Ángel Plaza, José P. Suárez	Hamiltonian triangular refinements and space-filling curves.	J. Comput. Appl. Math.	2019	DBLP DOI BibTeX RDF
17	Etienne Borde	Architecture Models Refinements for Software Development of Critical Real-time Embedded Systems. (Raffinements de Modèles d'Architectures pour le Développement Logiciel des Systèmes Temps-réels Embarqués Critiques).		2019	RDF
17	Douglas R. Smith, Stephen J. Westfold	Transformations for Generating Type Refinements.	FM Workshops (2)	2019	DBLP DOI BibTeX RDF
17	Takuya Kojima, Hideharu Amano	Refinements in Data Manipulation Method for Coarse Grained Reconfigurable Architectures.	ReCoSoC	2019	DBLP DOI BibTeX RDF
17	Michael A. Bender, Alex Conway, Martin Farach-Colton, William Jannen, Yizheng Jiao, Rob Johnson, Eric Knorr, Sara McAllister, Nirjhar Mukherjee, Prashant Pandey 0001, Donald E. Porter, Jun Yuan 0006, Yang Zhan 0001	Small Refinements to the DAM Can Have Big Consequences for Data-Structure Design.	SPAA	2019	DBLP DOI BibTeX RDF
17	Ivan Radicek, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001, Florian Zuleger	Monadic refinements for relational cost analysis.	Proc. ACM Program. Lang.	2018	DBLP DOI BibTeX RDF
17	Johnny Guzmán, Michael Neilan	Inf-Sup Stable Finite Elements on Barycentric Refinements Producing Divergence-Free Approximations in Arbitrary Dimensions.	SIAM J. Numer. Anal.	2018	DBLP DOI BibTeX RDF
17	Rosena R. X. Du, Kuo Yu	Refinements of two identities on (n, m)-Dyck paths.	Adv. Appl. Math.	2018	DBLP DOI BibTeX RDF
17	Nahla Ben Amor, Zeineb El Khalfi, Hélène Fargier, Régis Sabbadin	Lexicographic refinements in stationary possibilistic Markov Decision Processes.	Int. J. Approx. Reason.	2018	DBLP DOI BibTeX RDF
17	Alessandro Cimatti, Ramiro Demasi, Stefano Tonetta	Tightening the contract refinements of a system architecture.	Formal Methods Syst. Des.	2018	DBLP DOI BibTeX RDF
17	Christoforos Keroglou, Christoforos N. Hadjicostis	Distributed Fault Diagnosis in Discrete Event Systems via Set Intersection Refinements.	IEEE Trans. Autom. Control.	2018	DBLP DOI BibTeX RDF
17	Martin Henk	A Note on Lattice Packings via Lattice Refinements.	Exp. Math.	2018	DBLP DOI BibTeX RDF
17	Heiko Gimperlein, Fabian Meyer, Ceyhun Özdemir, David Stark, Ernst P. Stephan	Boundary elements with mesh refinements for the wave equation.	Numerische Mathematik	2018	DBLP DOI BibTeX RDF