Search results for "Widening"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
114	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella	Widening operators for powerset domains.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Abstract domain refinement, Powersets, Widening operators, Abstract interpretation, Convex polyhedra
111	Roberto Bagnara, Patricia M. Hill, Elisa Ricci 0002, Enea Zaffanella	Precise Widening Operators for Convex Polyhedra.	SAS	2003	DBLP DOI BibTeX RDF
80	Neil Kettle, Andy King, Tadeusz Strzemecki	Widening ROBDDs with Prime Implicants.	TACAS	2006	DBLP DOI BibTeX RDF	ROBDD, widening, approximation, abstract interpretation
77	Laure Gonnord, Nicolas Halbwachs	Combining Widening and Acceleration in Linear Relation Analysis.	SAS	2006	DBLP DOI BibTeX RDF
71	Patricia Bouyer	Forward Analysis of Updatable Timed Automata.	Formal Methods Syst. Des.	2004	DBLP DOI BibTeX RDF	(updatable) timed automata, forward analysis algorithm, widening operator, data structure, correctness
68	Peter Z. Revesz	The Constraint Database Approach to Software Verification.	VMCAI	2007	DBLP DOI BibTeX RDF
66	Axel Simon, Andy King	Widening Polyhedra with Landmarks.	APLAS	2006	DBLP DOI BibTeX RDF
66	Roberto Bagnara, Patricia M. Hill, Elena Mazzi, Enea Zaffanella	Widening Operators for Weakly-Relational Numeric Abstractions.	SAS	2005	DBLP DOI BibTeX RDF
66	Constantinos Bartzis, Tevfik Bultan	Widening Arithmetic Automata.	CAV	2004	DBLP DOI BibTeX RDF
54	Denis Gopan, Thomas W. Reps	Lookahead Widening.	CAV	2006	DBLP DOI BibTeX RDF
54	Lindsey Marshall, Lester Meachem	Widening Access, Narrowing Curriculum: Is the Expectation of Software Training Changing the Culture within Visual Communications Higher Education?	ICALT	2005	DBLP DOI BibTeX RDF
54	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella	Widening Operators for Powerset Domains.	VMCAI	2004	DBLP DOI BibTeX RDF
48	Andy King, Jan-Georg Smaus, Patricia M. Hill	Quotienting Share for Dependency Analysis.	ESOP	1999	DBLP DOI BibTeX RDF	definite Boolean functions, widening, abstract interpretation, data-flow analysis, dependency analysis, (Constraint) logic programs
46	Orna Grumberg, Flavio Lerda, Ofer Strichman, Michael Theobald	Proof-guided underapproximation-widening for multi-process systems.	POPL	2005	DBLP DOI BibTeX RDF	SAT proofs, underapproximation-widening, abstraction, software verification, bounded model checking
43	Sven Verdoolaege, Gerda Janssens, Maurice Bruynooghe	Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences.	CAV	2009	DBLP DOI BibTeX RDF
43	Kevin Redwine, Norman Ramsey	Widening Integer Arithmetic.	CC	2004	DBLP DOI BibTeX RDF
37	Liana Bozga, Yassine Lakhnech, Michaël Périn	Pattern-based abstraction for verifying secrecy in protocols.	Int. J. Softw. Tools Technol. Transf.	2006	DBLP DOI BibTeX RDF	Widening, Security, Verification, Abstract interpretation, Cryptographic protocols
37	Hilary Bentley, Jenny Davies, Jo Allan	The stepping stones project.	ITiCSE	2003	DBLP DOI BibTeX RDF	progression and achievement, widening participation, retention
37	Patrick Cousot, Radhia Cousot	Galois Connection Based Abstract Interpretations for Strictness Analysis (Invited Paper).	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF	Relational semantics, Dependence-free and dependence-sensitive analysis, Widening, Abstract interpretation, Galois connection, Strictness analysis
34	Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo	Efficient Top-Down Set-Sharing Analysis Using Cliques.	PADL	2006	DBLP DOI BibTeX RDF
34	Noha H. Mahmoud, Maged Ghoneima, Yehea I. Ismail	Physical limitations on the bit-rate of on-chip interconnects.	ACM Great Lakes Symposium on VLSI	2005	DBLP DOI BibTeX RDF	damping factor, delay, interconnects, bit-rate
34	David López 0001, Josep Llosa, Mateo Valero, Eduard Ayguadé	Cost-Conscious Strategies to Increase Performance of Numerical Programs on Aggressive VLIW Architectures.	IEEE Trans. Computers	2001	DBLP DOI BibTeX RDF	numerical applications, performance/cost trade-off, instruction level parallelism, software pipelining, VLIW processors
34	Manuel Serrano	Wide Classes.	ECOOP	1999	DBLP DOI BibTeX RDF	dynamic inheritance, dynamic type checking, instance modification, Language implementation
34	Zhan Chen, Fook-Luen Heng	A Fast Minimum Layout Perturbation Algorithm for Electromigration Reliability Enhancement.	DFT	1998	DBLP DOI BibTeX RDF	layout compaction, design for reliability, electromigration
32	Matthew Naylor, Colin Runciman	The Reduceron: Widening the von Neumann Bottleneck for Graph Reduction Using an FPGA.	IFL	2007	DBLP DOI BibTeX RDF
32	Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh	A Practical String Analyzer by the Widening Approach.	APLAS	2006	DBLP DOI BibTeX RDF
32	Orly Yadid-Pecht	Widening the dynamic range of pictures using a minimum spanning tree algorithm.	Mach. Vis. Appl.	2000	DBLP DOI BibTeX RDF	Image processing, Minimum-spanning tree, Robot vision, Dynamic range
32	Patrick Cousot, Radhia Cousot	Comparing the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation.	PLILP	1992	DBLP DOI BibTeX RDF
26	Paul Curzon	Serious fun in computer science.	ITiCSE	2007	DBLP DOI BibTeX RDF	cs4fn, widening participation in higher education, innovation, fun, computational thinking, outreach
23	Sang-Won Lee 0001, Bongki Moon, Chanik Park	Advances in flash memory SSD technology for enterprise database applications.	SIGMOD Conference	2009	DBLP DOI BibTeX RDF	flash-memory ssd, tpc-c benchmark, energy
23	Kazuki Yoshizoe	A New Proof-Number Calculation Technique for Proof-Number Search.	Computers and Games	2008	DBLP DOI BibTeX RDF
23	Jérôme Leroux, Grégoire Sutre	Acceleration in Convex Data-Flow Analysis.	FSTTCS	2007	DBLP DOI BibTeX RDF
23	Corneliu Popeea, Wei-Ngan Chin	Inferring Disjunctive Postconditions.	ASIAN	2006	DBLP DOI BibTeX RDF
23	Nathan Hurst, Kim Marriott, Peter Moulder	Toward tighter tables.	ACM Symposium on Document Engineering	2005	DBLP DOI BibTeX RDF	table layout, optimisation techniques, conic programming
23	Enric Rodríguez-Carbonell, Deepak Kapur	An Abstract Interpretation Approach for Automatic Generation of Polynomial Invariants.	SAS	2004	DBLP DOI BibTeX RDF
23	Ahmed Bouajjani, Tayssir Touili	Extrapolating Tree Transformations.	CAV	2002	DBLP DOI BibTeX RDF
23	Claudio Vaucheret, Francisco Bueno	More Precise Yet Efficient Type Inference for Logic Programs.	SAS	2002	DBLP DOI BibTeX RDF
23	Thomas Ball, Andreas Podelski, Sriram K. Rajamani	Relative Completeness of Abstraction Refinement for Software Model Checking.	TACAS	2002	DBLP DOI BibTeX RDF
23	Michael Codish, Samir Genaim, Harald Søndergaard, Peter J. Stuckey	Higher-Precision Groundness Analysis.	ICLP	2001	DBLP DOI BibTeX RDF
23	François Bourdoncle	Efficient chaotic iteration strategies with widenings.	Formal Methods in Programming and Their Applications	1993	DBLP DOI BibTeX RDF
23	Bruno Monsuez	Polymorphic Typing by Abstract Interpretation.	FSTTCS	1992	DBLP DOI BibTeX RDF
20	Antonio Mastropaolo, Valentina Ferrari, Luca Pascarella, Gabriele Bavota	Log statements generation via deep learning: Widening the support provided to developers.	J. Syst. Softw.	2024	DBLP DOI BibTeX RDF
20	Sabrina Hauser, Johan Redström, Heather Wiltse	The widening rift between aesthetics and ethics in the design of computational things.	AI Soc.	2023	DBLP DOI BibTeX RDF
20	Pericles 'Asher' Rospigliosi	Widening participation and the importance of diversity for interactive learning environments.	Interact. Learn. Environ.	2023	DBLP DOI BibTeX RDF
20	Antonio Mastropaolo, Valentina Ferrari, Luca Pascarella, Gabriele Bavota	Log Statements Generation via Deep Learning: Widening the Support Provided to Developers.	CoRR	2023	DBLP DOI BibTeX RDF
20	Fariba Ghaffari, Nischal Aryal, Emmanuel Bertin, Noël Crespi, Joaquín García-Alfaro	Widening Blockchain Technology toward Access Control for Service Provisioning in Cellular Networks.	Sensors	2023	DBLP DOI BibTeX RDF
20	Martin Brain, Jacob M. Howe	Widening for Systems of Two Variables Per Inequality.	SC-Square@ISSAC	2023	DBLP BibTeX RDF
20	Maarouf Al Hajj, Khaled Tahkoubit, Hmaied Shaiek, Valéry Guillet, Didier Le Ruyet	On Beam Widening for RIS-Assisted Communications Using Genetic Algorithms.	EuCNC/6G Summit	2023	DBLP DOI BibTeX RDF
20	Matthew Barr, Oana Andrei, Maria Kallia	Widening Access to Higher Education through Degree-level Apprenticeships in Software Engineering.	FIE	2023	DBLP DOI BibTeX RDF
20	Yimai Shi, Lidong Zhu, Ean He, Wenjun Shi, Yong Zhang, Wen He, Kun Liu	An Interference Null Widening Algorithm Based on U-V Domain Expansion of Steering Vector.	ISNCC	2023	DBLP DOI BibTeX RDF
20	Sumedh A. Sontakke, Buvaneswari Ramanan, Laurent Itti, Thomas Woo	Model2Detector: Widening the Information Bottleneck for Out-of-Distribution Detection using a Handful of Gradient Steps.	CoRR	2022	DBLP BibTeX RDF
20	Martin Gonzalez, Hatem Hajri, Loic Cantat, Mihály Petreczky	Noisy Learning for Neural ODEs Acts as a Robustness Locus Widening.	CoRR	2022	DBLP DOI BibTeX RDF
20	Shijing Xiao, Bin Li, Qing Wang	Adaptive Null Widening Beamforming Algorithm in Spatially Correlated Color Noise.	Sensors	2022	DBLP DOI BibTeX RDF
20	Prantik Chatterjee, Jaydeepsinh Meda, Akash Lal, Subhajit Roy 0001	Proof-Guided Underapproximation Widening for Bounded Model Checking.	CAV (1)	2022	DBLP DOI BibTeX RDF
20	Yong Zhuang, Matthew Almeida, Wei Ding 0003, Patrick D. Flynn, Shafiqul Islam, Ping Chen 0001	Widening the Time Horizon: Predicting the Long-Term Behavior of Chaotic Systems.	ICDM	2022	DBLP DOI BibTeX RDF
20	Hans-Georg Matuttis, Johannes Josef Schneider, Jin Li 0025, David Anthony Barrow, Alessia Faggian, Aitor Patiño Diaz, Silvia Holler, Federica Casiraghi, Lorena Cebolla Sanahuja, Martin Michael Hanczyc, Mathias Sebastian Weyland, Dandolo Flumini, Peter Eggenberger Hotz, Pantelitsa Dimitriou, William David Jamieson, Oliver Castell, Rudolf Marcel Füchslin	Computational Investigation of the Clustering of Droplets in Widening Pipe Geometries.	WIVACE	2022	DBLP DOI BibTeX RDF
20	Sabrina Scuri, Marta Ferreira, Nuno Jardim Nunes, Valentina Nisi, Cathy Mulligan	Hitting the Triple Bottom Line: Widening the HCI Approach to Sustainability.	CHI	2022	DBLP DOI BibTeX RDF
20	Yoshifumi Wakisaka, Daisuke Iida, Hiroshi Takahashi, Yusuke Koshikiya	Method of widening dynamic range of measurable vibration in FDM-based sampling-rate-enhanced ϕ-OTDR.	OFC	2022	DBLP BibTeX RDF
20	Michael R. Berthold, Alexander Fillbrunn, Arno Siebes	Widening: using parallel resources to improve model quality.	Data Min. Knowl. Discov.	2021	DBLP DOI BibTeX RDF
20	Mamidala Karthik Ram, Neha Tiwari, Dawit Burusie Abdi, Sneh Saurabh	Drain Induced Barrier Widening and Reverse Short Channel Effects in Tunneling FETs: Investigation and Analysis.	IEEE Access	2021	DBLP DOI BibTeX RDF
20	Keke Li, Wenyuan Xu, Liang Yang	Deformation Characteristics of Raising, Widening of Old Roadway on Soft Soil Foundation.	Symmetry	2021	DBLP DOI BibTeX RDF
20	Hui Tang, Tao Liu, Hao Liu 0041, Jiyang Jiang, Jian Cheng 0002, Haijun Niu, Shuyu Li, Henry Brodaty, Perminder S. Sachdev, Wei Wen	A slower rate of sulcal widening in the brains of the nondemented oldest old.	NeuroImage	2021	DBLP DOI BibTeX RDF
20	Ann E. Jeffers	The COVID-19 Pandemic is Widening the Gap for Women in STEM.	Comput. Sci. Eng.	2021	DBLP DOI BibTeX RDF
20	Vijay Janapa Reddi, Brian Plancher, Susan Kennedy, Laurence Moroney, Pete Warden, Anant Agarwal, Colby R. Banbury, Massimo Banzi, Matthew Bennett, Benjamin Brown, Sharad Chitlangia, Radhika Ghosal, Sarah Grafman, Rupert Jaeger, Srivatsan Krishnan, Maximilian Lam, Daniel Leiker, Cara Mann, Mark Mazumder, Dominic Pajak, Dhilan Ramaprasad, J. Evan Smith, Matthew Stewart, Dustin Tingley	Widening Access to Applied Machine Learning with TinyML.	CoRR	2021	DBLP BibTeX RDF
20	Jean-Marie Monnez, Abderrahman Skiredj	Widening the scope of an eigenvector stochastic approximation process and application to streaming PCA and related methods.	J. Multivar. Anal.	2021	DBLP DOI BibTeX RDF
20	Xiangjuan Wu, Yuping Wang 0003, Ninglei Fan	A new filled function method based on adaptive search direction and valley widening for global optimization.	Appl. Intell.	2021	DBLP DOI BibTeX RDF
20	Frederic Madesta, Rüdiger Schmitz, Thomas Rösch, René Werner	Abstract: Widening the Focus - Biomedical Image Segmentation Challenges and the Underestimated Role of Patch Sampling and Inference Strategies.	Bildverarbeitung für die Medizin	2021	DBLP DOI BibTeX RDF
20	Michael H. Lim, Claire J. Tomlin, Zachary N. Sunberg	Voronoi Progressive Widening: Efficient Online Solvers for Continuous State, Action, and Observation POMDPs.	CDC	2021	DBLP DOI BibTeX RDF
20	Lin Guan, Mudit Verma, Sihang Guo, Ruohan Zhang, Subbarao Kambhampati	Widening the Pipeline in Human-Guided Reinforcement Learning with Explanation and Context-Aware Data Augmentation.	NeurIPS	2021	DBLP BibTeX RDF
20	Koby Mike, Gilly Hartal, Orit Hazzan	Widening the Shrinking Pipeline: The Case of Data Science.	EDUCON	2021	DBLP DOI BibTeX RDF
20	Opeyemi Dele-Ajayi, Emma Anderson, Rebecca Strachan, Femi Alufa, Victor Ayodele, Akachukwu Okoli, Kemi Fasae	Widening the Aspirations of Young People towards Digital and wider STEM Careers: A Case Study from the DIGISTEM Programme.	EDUCON	2021	DBLP DOI BibTeX RDF
20	Michael Wessel, Edgar Kalns, Girish Acharya, Andreas Kathol	Widening the Dialogue Workflow Modeling Bottleneck in Ontology-Based Personal Assistants.	CoRR	2020	DBLP BibTeX RDF
20	Chuanjian Liu, Kai Han 0002, Yunhe Wang 0001, Hanting Chen, Chunjing Xu, Qi Tian 0001	Widening and Squeezing: Towards Accurate and Efficient QNNs.	CoRR	2020	DBLP BibTeX RDF
20	Michael H. Lim, Claire J. Tomlin, Zachary N. Sunberg	Voronoi Progressive Widening: Efficient Online Solvers for Continuous Space MDPs and POMDPs with Provably Optimal Components.	CoRR	2020	DBLP BibTeX RDF
20	Ilaria Fabbri, Gabriele Lelli, Walter Nicolino	PUNTOnet: Innovative Prototype of Urban Trash Containers Improving Waste Sorting and Widening the Services Offered to the City.	SMARTGREENS	2020	DBLP DOI BibTeX RDF
20	Jiahang Gu, Zhaowei Qu, Xiaoru Wang, Jiawang Dan, Junwei Sun	Residual Fractal Network for Single Image Super Resolution by Widening and Deepening.	ICPR	2020	DBLP DOI BibTeX RDF
20	Clément Gautrais, Peggy Cellier, Matthijs van Leeuwen, Alexandre Termier	Widening for MDL-Based Retail Signature Discovery.	IDA	2020	DBLP DOI BibTeX RDF
20	Kyeong-Rok Kim, Josaphat Tetuko Sri Sumantyo, Joko Widodo, Jae-Hyun Kim	A method of bandwidth widening using multi direct digital synthesizer for SAR.	ICTC	2020	DBLP DOI BibTeX RDF
20	Frederic Madesta, Rüdiger Schmitz, Thomas Rösch, René Werner	Widening the Focus: Biomedical Image Segmentation Challenges and the Underestimated Role of Patch Sampling and Inference Strategies.	MICCAI (4)	2020	DBLP DOI BibTeX RDF
20	Hugo Gonçalo Oliveira, Ana Luís	Widening the Discussion on "False Friends" in Multilingual Wordnets.	GLOBALEX@LREC	2020	DBLP BibTeX RDF
20	Sarah Middle	Widening access to Linked Ancient World Data.	DH	2020	DBLP BibTeX RDF
20	Flora Colledge, Jakob Passweg, Bernice Elger	Obstacles to Widening Biosample Research.	Sci. Eng. Ethics	2019	DBLP DOI BibTeX RDF
20	Patrick Brandao, Evangelos B. Mazomenos, Danail Stoyanov	Widening siamese architectures for stereo matching.	Pattern Recognit. Lett.	2019	DBLP DOI BibTeX RDF
20	Wen Su, Zengfu Wang	Widening residual refine edge reserved neural network for semantic segmentation.	Multim. Tools Appl.	2019	DBLP DOI BibTeX RDF
20	Denis Emelin, Ivan Titov, Rico Sennrich	Widening the Representation Bottleneck in Neural Machine Translation with Lexical Shortcuts.	CoRR	2019	DBLP BibTeX RDF
20	Alexander Fillbrunn	Widening mit Hashbasierter Partitionierung des Hypothesenraums.	Ausgezeichnete Informatikdissertationen	2019	DBLP BibTeX RDF
20	Sertse Abebe, Hossana Twinomurinzi	A Widening Digital Platform Gap: A Systematic Review of the Sharing Economy for Small and Micro Enterprises.	AFRICON	2019	DBLP DOI BibTeX RDF
20	Denis Emelin, Ivan Titov, Rico Sennrich	Widening the Representation Bottleneck in Neural Machine Translation with Lexical Shortcuts.	WMT (1)	2019	DBLP DOI BibTeX RDF
20	Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey	Dissecting Widening: Separating Termination from Information.	APLAS	2019	DBLP DOI BibTeX RDF
20	Eva Eriksson, Ole Sejer Iversen, Gökçe Elif Baykal, Maarten Van Mechelen, Rachel Charlotte Smith, Marie-Louise Wagner, Bjarke Vognstrup Fog, Clemens Nylandsted Klokmose, Bronwyn J. Cumbo, Arthur Hjorth, Line Have Musaeus, Marianne Graves Petersen, Niels Olof Bouvin	Widening the scope of FabLearn Research: Integrating Computational Thinking, Design and Making.	FabLearn Europe	2019	DBLP DOI BibTeX RDF
20	Yehia Elkhatib, Alastair L. Gemmell, Claudia Vitolo, Mark E. Wilkinson, Eleanor B. Mackay, Barbara J. Percy, Gordon S. Blair, Robert J. Gurney	Widening the Circle of Engagement Around Environmental Issues using Cloud-based Tools.	ICDCS	2019	DBLP DOI BibTeX RDF
20	Amittai Axelrod, Diyi Yang, Rossana Cunha, Samira Shaikh, Zeerak Waseem (eds.)	Proceedings of the 2019 Workshop on Widening NLP@ACL 2019, Florence, Italy, July 28, 2019	WNLP@ACL	2019	DBLP BibTeX RDF
20	Violeta N. Ivanova-Rohling	Communication-less Strategies for Widening.		2019	RDF
20	Alexander Fillbrunn	Effektives Widening mit Hashbasierter Partitionierung des Hypothesenraums.		2019	RDF
20	Hila Gonen, Yova Kementchedjhieva, Yoav Goldberg	How does Grammatical Gender Affect Noun Representations in Gender-Marking Languages?	WNLP@ACL	2019	DBLP BibTeX RDF
20	Reyhaneh Hashempour	A Deep Learning Approach to Language-independent Gender Prediction on Twitter.	WNLP@ACL	2019	DBLP BibTeX RDF
20	Tilahun Abedissa, Mulugeta Libsie	Amharic Question Answering for Biography, Definition, and Description Questions.	WNLP@ACL	2019	DBLP BibTeX RDF
20	Hossein Rouhizadeh, Mehrnoush Shamsfard, Masoud Rouhizadeh	Knowledge-Based Word Sense Disambiguation with Distributional Semantic Expansion.	WNLP@ACL	2019	DBLP BibTeX RDF
20	Francisca Oladipo, Abdulmalik Rufai	Implementing a Multi-lingual Chatbot for Positive Reinforcement in Young Learners.	WNLP@ACL	2019	DBLP BibTeX RDF
20	Fernando Alva-Manchego, Carolina Scarton, Lucia Specia	Cross-Sentence Transformations in Text Simplification.	WNLP@ACL	2019	DBLP BibTeX RDF