Search results for "predicates"

Hits ?▲	Authors	Title	Venue	Year	Link
14	Nader H. Bshouty, Dana Drachsler-Cohen, Martin T. Vechev, Eran Yahav	Learning Disjunctions of Predicates.	COLT	2017	DBLP BibTeX RDF
14	Václava Kettnerová, Markéta Lopatková	Complex Predicates with Light Verbs in VALLEX: From Formal Model to Lexicographic Description.	ITAT	2017	DBLP BibTeX RDF
14	Raúl Gutiérrez, José Meseguer 0001	Variant-Based Decidable Satisfiability in Initial Algebras with Predicates.	LOPSTR	2017	DBLP DOI BibTeX RDF
14	Kerstin Schwabe	Misfits: On Unexpected German Ob-Predicates.	TbiLLC	2017	DBLP DOI BibTeX RDF
14	Hongkun Yang, Simon S. Lam	Real-Time Verification of Network Properties Using Atomic Predicates.	IEEE/ACM Trans. Netw.	2016	DBLP DOI BibTeX RDF
14	Mikolás Janota, João Marques-Silva 0001	On the query complexity of selecting minimal sets for monotone predicates.	Artif. Intell.	2016	DBLP DOI BibTeX RDF
14	Alexander Berenstein, Hyeung-Joon Kim	Dense codense predicates and the NTP2.	Math. Log. Q.	2016	DBLP DOI BibTeX RDF
14	Tapas Pandit, Sumit Kumar Pandey, Rana Barua	Attribute-Based Signcryption: Signer Privacy, Strong Unforgeability and IND-CCA Security in Adaptive-Predicates Model (Extended Version).	J. Internet Serv. Inf. Secur.	2016	DBLP DOI BibTeX RDF
14	Yuhan Sun, Mohamed Sarwat	GeoReach: An Efficient Approach for Evaluating Graph Reachability Queries with Spatial Range Predicates.	CoRR	2016	DBLP BibTeX RDF
14	Günter Khyo	Multidimensional Predicates for Prolog.	CoRR	2016	DBLP BibTeX RDF
14	Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto 0001	Symmetry Breaking Predicates for SAT-based DFA Identification.	CoRR	2016	DBLP BibTeX RDF
14	Fisnik Kastrati, Guido Moerkotte	Optimization of Conjunctive Predicates for Main Memory Column Stores. (PDF / PS)	Proc. VLDB Endow.	2016	DBLP DOI BibTeX RDF
14	Wojciech Mostowski, Mattias Ulbrich	Dynamic Dispatch for Method Contracts Through Abstract Predicates.	T. Aspect-Oriented Software Development	2016	DBLP DOI BibTeX RDF
14	Hiroaki Anada, Seiko Arita, Kouichi Sakurai	Proof of Knowledge on Monotone Predicates and its Application to Attribute-Based Identifications and Signatures.	IACR Cryptol. ePrint Arch.	2016	DBLP BibTeX RDF
14	Sandrine Blazy, David Bühler, Boris Yakobowski	Improving static analyses of C programs with conditional predicates.	Sci. Comput. Program.	2016	DBLP DOI BibTeX RDF
14	Li Ma, Yinyu Huo, Yong Zhong, Xiaolin Qin	带权重谓词的可选事务逻辑及其访问控制应用 (Optional Transaction Logic with Weighted Predicates and its Application in Access Control).	计算机科学	2016	DBLP DOI BibTeX RDF
14	Mykola Nikitchenko, Oksana Shkilniak, Stepan S. Shkilniak	Pure first-order logics of quasiary predicates.	UkrPROG	2016	DBLP BibTeX RDF
14	Dongxiao Song, Shimin Chen	Exploiting SIMD for complex numerical predicates.	ICDE Workshops	2016	DBLP DOI BibTeX RDF
14	Xavier Hinaut, Johannes Twiefel, Stefan Wermter	Recurrent Neural Network for syntax learning with flexible predicates for robotic architectures.	ICDL-EPIROB	2016	DBLP DOI BibTeX RDF
14	Jacobo Rouces, Gerard de Melo, Katja Hose	Complex Schema Mapping and Linking Data: Beyond Binary Predicates.	LDOW@WWW	2016	DBLP BibTeX RDF
14	Thomas S. Heinze, Wolfram Amme	Sparse Analysis of Variable Path Predicates Based upon SSA-Form.	ISoLA (1)	2016	DBLP DOI BibTeX RDF
14	James Brotherston, Nikos Gorogiannis, Max I. Kanovich, Reuben Rowe	Model checking for symbolic-heap separation logic with inductive predicates.	POPL	2016	DBLP DOI BibTeX RDF
14	Ke Zhang, Zongyan Qiu	Comparison Between Model Fields and Abstract Predicates.	SBLP	2016	DBLP DOI BibTeX RDF
14	Andrew Butterfield	UTPCalc - A Calculator for UTP Predicates.	UTP	2016	DBLP DOI BibTeX RDF
14	Dajung Lee, Roger Moussalli, Sameh W. Asaad, Mudhakar Srivatsa	Spatial Predicates Evaluation in the Geohash Domain Using Reconfigurable Hardware.	FCCM	2016	DBLP DOI BibTeX RDF
14	Alberto Maria Langella	Paraphrases for the Italian Communication Predicates.	NooJ	2016	DBLP DOI BibTeX RDF
14	Dongpeng Xu 0001, Jiang Ming 0002, Dinghao Wu	Generalized Dynamic Opaque Predicates: A New Control Flow Obfuscation Method.	ISC	2016	DBLP DOI BibTeX RDF
14	Arthur Charguéraud	Higher-order representation predicates in separation logic.	CPP	2016	DBLP DOI BibTeX RDF
14	Giorgio Delzanno	Reachability Predicates for Graph Assertions.	RP	2016	DBLP DOI BibTeX RDF
14	Nhung Ngo, Magdalena Ortiz 0001, Mantas Simkus	Closed Predicates in Description Logics: Results on Combined Complexity.	KR	2016	DBLP BibTeX RDF
14	Friederike Moltmann	Modals as Predicates of Modal Objects.	FOIS	2016	DBLP DOI BibTeX RDF
14	Xilai Lv, Yongqiang Dong	Efficient Matching Algorithm for Content-based Publish/Subscribe Systems with Compound Predicates.	CFI	2016	DBLP DOI BibTeX RDF
14	Enchao Shi	Secondary Predicates in Native and Nonnative Grammars.	PACLIC	2016	DBLP BibTeX RDF
14	Ingrid Hotz, Jochen Jankowai, Rickard Englund, Timo Ropinski	Interactive 4D MRI blood flow exploration and analysis using line predicates.	SIGRAD	2016	DBLP BibTeX RDF
14	Shqiponja Ahmetaj, Magdalena Ortiz 0001, Mantas Simkus	Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates.	IJCAI	2016	DBLP BibTeX RDF
14	Georg Gottlob, Andreas Pieris, Mantas Simkus	The Impact of Active Domain Predicates on Guarded Existential Rules.	RR	2016	DBLP DOI BibTeX RDF
14	Zhe Han, Yansong Feng, Dongyan Zhao 0001	Detecting Synonymous Predicates from Online Encyclopedia with Rich Features.	AIRS	2016	DBLP DOI BibTeX RDF
14	Václava Kettnerová, Eduard Bejcek	Distribution of Valency Complements in Czech Complex Predicates: Between Verb and Noun.	LREC	2016	DBLP BibTeX RDF
14	Niraj Shrestha, Marie-Francine Moens	Semi-automatically Alignment of Predicates between Speech and OntoNotes data.	LREC	2016	DBLP BibTeX RDF
14	Shqiponja Ahmetaj, Magdalena Ortiz 0001, Mantas Simkus	Polynomial Datalog Rewritings for Ontology Mediated Queries with Closed Predicates.	AMW	2016	DBLP BibTeX RDF
14	Nhung Ngo, Magdalena Ortiz 0001, Mantas Simkus	Closed Predicates in Description Logics: Results on Combined Complexity.	AMW	2016	DBLP BibTeX RDF
14	Artur Kornilowicz	Enhancement of Mizar Texts with Transitivity Property of Predicates.	CICM	2016	DBLP DOI BibTeX RDF
14	Andre Gaschler	Efficient Geometric Predicates for Integrated Task and Motion Planning.		2016	RDF
14	Philippe Darondeau, Hervé Marchand, S. Laurie Ricker	Enforcing opacity of regular predicates on modal transition systems.	Discret. Event Dyn. Syst.	2015	DBLP DOI BibTeX RDF
14	John J. Lowe	Complex predicates: an LFG+glue analysis.	J. Lang. Model.	2015	DBLP DOI BibTeX RDF
14	Mingyan Teng, Guangtian Zhu	Interactive search over Web scale RDF data using predicates as constraints.	J. Intell. Inf. Syst.	2015	DBLP DOI BibTeX RDF
14	Cong Wang, Yi-Jen Chiang, Chee-Keng Yap	On soft predicates in subdivision motion planning.	Comput. Geom.	2015	DBLP DOI BibTeX RDF
14	A. Jalila, D. Jeya Mala, M. Eswaran	Functional Testing Using OCL Predicates to Improve Software Quality.	Int. J. Syst. Serv. Oriented Eng.	2015	DBLP DOI BibTeX RDF
14	Mykola S. Nikitchenko, Stepan S. Shkilniak	Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates.	Comput. Sci. J. Moldova	2015	DBLP BibTeX RDF
14	Shuai Ma 0001, Liang Duan, Wenfei Fan, Chunming Hu, Wenguang Chen	Extending Conditional Dependencies with Built-in Predicates.	IEEE Trans. Knowl. Data Eng.	2015	DBLP DOI BibTeX RDF
14	Charles Paperman	Finite-Degree Predicates and Two-Variable First-Order Logic.	CoRR	2015	DBLP BibTeX RDF
14	Fernando Sáenz-Pérez	Restricted Predicates for Hypothetical Datalog.	PROLE	2015	DBLP DOI BibTeX RDF
14	Shrawan Kumar	Property irrelevant predicates.	CoRR	2015	DBLP BibTeX RDF
14	Grant Olney Passmore	Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers.	CoRR	2015	DBLP BibTeX RDF
14	Qingbin Wang, Shaozhen Chen	Attribute-based signature for threshold predicates from lattices.	Secur. Commun. Networks	2015	DBLP DOI BibTeX RDF
14	Tapas Pandit, Sumit Kumar Pandey, Rana Barua	Attribute-Based Signcryption : Signer Privacy, Strong Unforgeability and IND-CCA2 Security in Adaptive-Predicates Attack.	IACR Cryptol. ePrint Arch.	2015	DBLP BibTeX RDF
14	Manfred Kufleitner, Tobias Walter	One quantifier alternation in first-order logic with modular predicates.	RAIRO Theor. Informatics Appl.	2015	DBLP DOI BibTeX RDF
14	Wen-Fang Wang	Three-Valued Plurivaluationism of Vague Predicates.	LORI	2015	DBLP DOI BibTeX RDF
14	K. Rustan M. Leino	Well-founded Functions and Extreme Predicates in Dafny: A Tutorial.	IWIL@LPAR	2015	DBLP DOI BibTeX RDF
14	Andre Gaschler, Ingmar Kessler, Ronald P. A. Petrick, Alois C. Knoll	Extending the Knowledge of Volumes approach to robot task planning with efficient geometric predicates.	ICRA	2015	DBLP DOI BibTeX RDF
14	Václava Kettnerová, Markéta Lopatková	At the Lexicon-Grammar Interface: The Case of Complex Predicates in the Functional Generative Description.	DepLing	2015	DBLP BibTeX RDF
14	Francesco Cafagna, Michael H. Böhlen, Annelies Bracher	Nearest Neighbour Join with Groups and Predicates.	DOLAP	2015	DBLP DOI BibTeX RDF
14	Sangwook Kang, Yeontaek Oh, Minho Kim, Hyuk-Chul Kwon	Word-Sense Disambiguation of Korean Predicates Using Sejong Electronic Dictionary and Unsupervised Learning.	CIT/IUCC/DASC/PICom	2015	DBLP DOI BibTeX RDF
14	Glorianna Jagfeld, Lonneke van der Plas	Towards a Better Semantic Role Labeling of Complex Predicates.	HLT-NAACL	2015	DBLP DOI BibTeX RDF
14	Vladimir Ulyantsev, Ilya Zakirzyanov, Anatoly Shalyto 0001	BFS-Based Symmetry Breaking Predicates for DFA Identification.	LATA	2015	DBLP DOI BibTeX RDF
14	Jianhong Feng, Huiqi Hu, Xueping Weng, Jianhua Feng, Yongwei Wu	A Sampling-Based Framework for Crowdsourced Select Query with Multiple Predicates.	WAIM	2015	DBLP DOI BibTeX RDF
14	Michael Wiegand, Marc Schulder, Josef Ruppenhofer	Opinion Holder and Target Extraction for Verb-based Opinion Predicates - The Problem is Not Solved.	WASSA@EMNLP	2015	DBLP DOI BibTeX RDF
14	Luc Dartois, Charles Paperman	Alternation Hierarchies of First Order Logic with Regular Predicates.	FCT	2015	DBLP DOI BibTeX RDF
14	Grant Olney Passmore	Decidability of Univariate Real Algebra with Predicates for Rational and Integer Powers.	CADE	2015	DBLP DOI BibTeX RDF
14	Ahmed M. Aly, Walid G. Aref, Mourad Ouzzani	Spatial queries with k-nearest-neighbor and relational predicates.	SIGSPATIAL/GIS	2015	DBLP DOI BibTeX RDF
14	David A. Salter, Amir Tamrakar, Behjat Siddiquie, Mohamed R. Amer, Ajay Divakaran, Brian Lande, Darius Mehri	The Tower Game Dataset: A multimodal dataset for analyzing social interaction predicates.	ACII	2015	DBLP DOI BibTeX RDF
14	Wojciech Mostowski, Mattias Ulbrich	Dynamic dispatch for method contracts through abstract predicates.	MODULARITY	2015	DBLP DOI BibTeX RDF
14	Zhongping Liang, Caixia Yuan, Bing Leng, Xiaojie Wang 0006	Recognition of Person Relation Indicated by Predicates.	NLPCC	2015	DBLP DOI BibTeX RDF
14	Badrinath Jayakumar, Rajshekhar Sunderraman	Handling Inconsistent Closed Predicates: A Paraconsistent Approach.	WI-IAT (3)	2015	DBLP DOI BibTeX RDF
14	Charles Paperman	Finite-Degree Predicates and Two-Variable First-Order Logic.	CSL	2015	DBLP DOI BibTeX RDF
14	Nhung Ngo, Magdalena Ortiz 0001, Mantas Simkus	The Combined Complexity of Reasoning with Closed Predicates in Description Logics.	Description Logics	2015	DBLP BibTeX RDF
14	Sai Ma	Verbal Predicates in Chinese Fictive Motion Expressions.	CLSW	2015	DBLP DOI BibTeX RDF
14	Carsten Lutz, Inanç Seylan, Frank Wolter	Ontology-Mediated Queries with Closed Predicates.	IJCAI	2015	DBLP BibTeX RDF
14	Daniel J. Rosenkrantz, Madhav V. Marathe, Harry B. Hunt III, S. S. Ravi, Richard Edwin Stearns	Analysis Problems for Graphical Dynamical Systems: A Unified Approach Through Graph Predicates.	AAMAS	2015	DBLP BibTeX RDF
14	Ioannis Z. Emiris, Christos Konaxis, Zafeirakis Zafeirakopoulos	Minkowski Decomposition and Geometric Predicates in Sparse Implicitization.	ISSAC	2015	DBLP DOI BibTeX RDF
14	Gábor Rácz, Gergo Gombos, Attila Kiss 0001	Visualization of Semantic Data Based on Selected Predicates.	Trans. Comput. Collect. Intell.	2014	DBLP DOI BibTeX RDF
14	Daniel G. Schwartz	Qualified Syllogisms with Fuzzy Predicates.	Int. J. Intell. Syst.	2014	DBLP DOI BibTeX RDF
14	Tatsuaki Okamoto, Katsuyuki Takashima	Efficient Attribute-Based Signatures for Non-Monotone Predicates in the Standard Model.	IEEE Trans. Cloud Comput.	2014	DBLP DOI BibTeX RDF
14	Sangxia Huang	Approximation Resistance on Satisfiable Instances for Sparse Predicates.	Theory Comput.	2014	DBLP DOI BibTeX RDF
14	Min Shen, Ajay D. Kshemkalyani	Hierarchical Detection of Strong Unstable Conjunctive Predicates in Large-Scale Systems.	IEEE Trans. Parallel Distributed Syst.	2014	DBLP DOI BibTeX RDF
14	Min Shen, Ajay D. Kshemkalyani, Ashfaq A. Khokhar	Detecting stable locality-aware predicates.	J. Parallel Distributed Comput.	2014	DBLP DOI BibTeX RDF
14	Mitzi McCarthy, Zhen He, Xiaoyang Sean Wang	Evaluation of Range Queries With Predicates on Moving Objects.	IEEE Trans. Knowl. Data Eng.	2014	DBLP DOI BibTeX RDF
14	Antonio Badia, Anna Wagner	Complex SQL Predicates as Quantifiers.	IEEE Trans. Knowl. Data Eng.	2014	DBLP DOI BibTeX RDF
14	Chengkai Li 0001, Bin He 0001, Ning Yan, Muhammad Assad Safiullah	Set Predicates in SQL: Enabling Set-Level Comparisons for Dynamically Formed Groups.	IEEE Trans. Knowl. Data Eng.	2014	DBLP DOI BibTeX RDF
14	Luc Dartois, Charles Paperman	Adding modular predicates.	CoRR	2014	DBLP BibTeX RDF
14	Marlies Martínez Alonso, Rafael Alejandro Espín Andrade, Vivian F. López Batista, Alejandro Rosete-Suárez	Discovering Knowledge by Fuzzy Predicates in Compensatory Fuzzy Logic Using Metaheuristic Algorithms.	Soft Computing for Business Intelligence	2014	DBLP DOI BibTeX RDF
14	Taymi Ceruto Cordovés, Alejandro Rosete-Suárez, Rafael Alejandro Espín Andrade	Knowledge Discovery by Fuzzy Predicates.	Soft Computing for Business Intelligence	2014	DBLP DOI BibTeX RDF
14	Oscar Callaú, Romain Robbes, Éric Tanter, David Röthlisberger, Alexandre Bergel	On the use of type predicates in object-oriented software: the case of Smalltalk.	DLS	2014	DBLP DOI BibTeX RDF
14	Vasily Sidorov, Wee Keong Ng	Model of an Encrypted Cloud Relational Database Supporting Complex Predicates in WHERE Clause.	IEEE CLOUD	2014	DBLP DOI BibTeX RDF
14	Antonella Zanzi, Alberto Trombetta	Discovering non-constant Conditional Functional Dependencies with Built-in Predicates.	DEXA (1)	2014	DBLP DOI BibTeX RDF
14	Pablo Ponzio, Nicolás Rosner, Nazareno Aguirre, Marcelo F. Frias	Efficient Tight Field Bounds Computation Based on Shape Predicates.	FM	2014	DBLP DOI BibTeX RDF
14	Subhash Khot, Madhur Tulsiani, Pratik Worah	The Complexity of Somewhat Approximation Resistant Predicates.	ICALP (1)	2014	DBLP DOI BibTeX RDF
14	Timos Antonopoulos, Nikos Gorogiannis, Christoph Haase, Max I. Kanovich, Joël Ouaknine	Foundations for Decision Problems in Separation Logic with General Inductive Predicates.	FoSSaCS	2014	DBLP DOI BibTeX RDF
14	Aravind Natarajan, Neeraj Mittal, Vijay K. Garg	Online Algorithms to Generate Slices for Regular Temporal Logic Predicates.	ICDCN	2014	DBLP DOI BibTeX RDF
14	Kasper Svendsen, Lars Birkedal	Impredicative Concurrent Abstract Predicates.	ESOP	2014	DBLP DOI BibTeX RDF