Search results for "bapa"

Found 16 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
250	Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard	Deciding Boolean Algebra with Presburger Arithmetic.	J. Autom. Reason.	2006	DBLP DOI BibTeX RDF	complexity, program verification, decision procedure, Boolean algebra, quantifier elimination, Presburger arithmetic
207	Viktor Kuncak, Huu Hai Nguyen, Martin C. Rinard	An Algorithm for Deciding BAPA: Boolean Algebra with Presburger Arithmetic.	CADE	2005	DBLP DOI BibTeX RDF
111	Viktor Kuncak, Martin C. Rinard	Towards Efficient Satisfiability Checking for Boolean Algebra with Presburger Arithmetic.	CADE	2007	DBLP DOI BibTeX RDF
41	Patrick Ehlen, Rémi Zajac, Kotcherlakota Bapa Rao	Location and relevance.	LocWeb	2009	DBLP DOI BibTeX RDF	georelevance, geosearch, information retrieval, local search, relevance, mobile search
41	Anat Gafni, Kotcherlakota V. Bapa Rao	A Time-based Distributed Optimistic Recovery and Concurrency Control Mechanism.	ICDE	1992	DBLP DOI BibTeX RDF
41	Rafiul Ahad, Kotcherlakota V. Bapa Rao, Dennis McLeod	On Estimating the Cardinality of the Projection of a Database Relation.	ACM Trans. Database Syst.	1989	DBLP DOI BibTeX RDF
41	K. Narayanaswamy, Kotcherlakota V. Bapa Rao	An Incremental Mechanism for Schema Evolution in Engineering Domains.	ICDE	1988	DBLP DOI BibTeX RDF
41	Kotcherlakota V. Bapa Rao, Anat Gafni, Georg Raeder	The Design of Dynamo: A General-purpose Information Processing Model with a Time Dimension.	OODBS	1988	DBLP DOI BibTeX RDF
41	Kotcherlakota V. Bapa Rao	An Object-Oriented Framework for Modelling Design Data.	OODBS	1986	DBLP BibTeX RDF
41	Dennis McLeod, K. Narayanaswamy, Kotcherlakota V. Bapa Rao	Information Management for CAD/VLSI Applications.	COMPCON	1984	DBLP BibTeX RDF
41	Dennis McLeod, K. Narayanaswamy, Kotcherlakota V. Bapa Rao	An Approach to Information Management for CAD/VLSI Applications.	Engineering Design Applications	1983	DBLP BibTeX RDF
40	Ruixin Guo, Feng Zhang 0012, Lizhe Wang 0001, Wusheng Zhang, Xinya Lei, Rajiv Ranjan 0001, Albert Y. Zomaya	BaPa: A Novel Approach of Improving Load Balance in Parallel Matrix Factorization for Recommender Systems.	IEEE Trans. Computers	2021	DBLP DOI BibTeX RDF
40	Yahao Liu, Jinhong Deng, Xinchen Gao, Wen Li 0001, Lixin Duan	BAPA-Net: Boundary Adaptation and Prototype Alignment for Cross-domain Semantic Segmentation.	ICCV	2021	DBLP DOI BibTeX RDF
36	Viktor Kuncak, Mikaël Mayer, Ruzica Piskac, Philippe Suter	Complete functional synthesis.	PLDI	2010	DBLP DOI BibTeX RDF	bapa, synthesis procedure, decision procedure, presburger arithmetic