Search results for "predicates"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
14	Gustavo J. Meschino, Diego S. Comas, Virginia L. Ballarin, Adriana G. Scandurra, Lucía Isabel Passoni	Using SOM as a Tool for Automated Design of Clustering Systems Based on Fuzzy Predicates.	WSOM	2012	DBLP DOI BibTeX RDF
14	Atsushi Ogata, Masaomi Kimura	Optimization technique of queries with plural predicates for a topic map database.	SMC	2012	DBLP DOI BibTeX RDF
14	Min Shen, Ajay D. Kshemkalyani, Ashfaq A. Khokhar	Detecting Tree Distributed Predicates.	ICPP Workshops	2012	DBLP DOI BibTeX RDF
14	Andrei A. Bulatov, Amir Hedayaty	Counting Predicates, Subset Surjective Functions, and Counting CSPs.	ISMVL	2012	DBLP DOI BibTeX RDF
14	Frederik Harwath, Nicole Schweikardt	Regular tree languages, cardinality predicates, and addition-invariant FO.	STACS	2012	DBLP DOI BibTeX RDF
14	Rahul Balusu	Complex Predicates in Telugu: A Computational Perspective.	COLING (Demos)	2012	DBLP BibTeX RDF
14	Runxiang Zhang, Yaohong Jin	Identification of comparative sentences with adjective predicates in patent Chinese-English machine translation.	CCIS	2012	DBLP DOI BibTeX RDF
14	Daniel Gerber, Axel-Cyrille Ngonga Ngomo	Extracting Multilingual Natural-Language Patterns for RDF Predicates.	EKAW	2012	DBLP DOI BibTeX RDF
14	Michael Roth 0001, Anette Frank	Aligning Predicates across Monolingual Comparable Texts using Graph-based Clustering.	EMNLP-CoNLL	2012	DBLP BibTeX RDF
14	Javier Herranz, Fabien Laguillaumie, Benoît Libert, Carla Ràfols	Short Attribute-Based Signatures for Threshold Predicates.	CT-RSA	2012	DBLP DOI BibTeX RDF
14	Cenny Wenner	Circumventing d-to-1 for Approximation Resistance of Satisfiable Predicates Strictly Containing Parity of Width Four - (Extended Abstract).	APPROX-RANDOM	2012	DBLP DOI BibTeX RDF
14	Chungmin Lee	Psych-Predicates: How They Are Different.	PACLIC	2012	DBLP BibTeX RDF
14	Per Austrin, Johan Håstad	On the Usefulness of Predicates.	CCC	2012	DBLP DOI BibTeX RDF
14	Rayna Dimitrova, Bernd Finkbeiner	Counterexample-Guided Synthesis of Observation Predicates.	FORMATS	2012	DBLP DOI BibTeX RDF
14	Tafseer Ahmed, Miriam Butt, Annette Hautli, Sebastian Sulger	A Reference Dependency Bank for Analyzing Complex Predicates.	LREC	2012	DBLP BibTeX RDF
14	Junhui Li, Guodong Zhou	Unified Semantic Role Labeling for Verbal and Nominal Predicates in the Chinese Language.	ACM Trans. Asian Lang. Inf. Process.	2011	DBLP DOI BibTeX RDF
14	Ajay D. Kshemkalyani	Repeated detection of conjunctive predicates in distributed executions.	Inf. Process. Lett.	2011	DBLP DOI BibTeX RDF
14	Thomas Bittner	Vague size predicates.	Appl. Ontology	2011	DBLP DOI BibTeX RDF
14	Tomoko Izumi, Kenji Imamura, Gen-ichiro Kikui, Atsushi Fujita, Satoshi Sato	Paraphrasing Japanese Light Verb Constructions: Towards the Normalization of Complex Predicates.	Int. J. Comput. Process. Orient. Lang.	2011	DBLP DOI BibTeX RDF
14	Alfonso Gerevini, Alessandro Saetti, Ivan Serina	Planning in domains with derived predicates through rule-action graphs and local search.	Ann. Math. Artif. Intell.	2011	DBLP DOI BibTeX RDF
14	Michael DeRosa, Seth Copen Goldstein, Peter Lee 0001, Jason Campbell, Padmanabhan Pillai	Detecting Locally Distributed Predicates.	ACM Trans. Auton. Adapt. Syst.	2011	DBLP DOI BibTeX RDF
14	Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir	Axiomatizing GSOS with Predicates	SOS	2011	DBLP DOI BibTeX RDF
14	Favio Ezequiel Miranda-Perea, Lourdes Del Carmen González-Huesca	Mendler-style Iso-(Co)inductive predicates: a strongly normalizing approach	LSFA	2011	DBLP DOI BibTeX RDF
14	Jaehwa Chung, Kyoung-Ho Jung, Soon-Young Jung, Sang-Won Kang, Joon-Min Gil	Nearest-neighbour query processing with non-spatial predicates for service allocation in smart space environment.	IET Commun.	2011	DBLP DOI BibTeX RDF
14	Shweta Agrawal, David Mandell Freeman, Vinod Vaikuntanathan	Functional Encryption for Inner Product Predicates from Learning with Errors.	IACR Cryptol. ePrint Arch.	2011	DBLP BibTeX RDF
14	Tatsuaki Okamoto, Katsuyuki Takashima	Efficient Attribute-Based Signatures for Non-Monotone Predicates in the Standard Model.	IACR Cryptol. ePrint Arch.	2011	DBLP BibTeX RDF
14	K. Mani Chandy, Brian Go, Sayan Mitra, Concetta Pilotto, Jerome White	Verification of distributed systems with local-global predicates.	Formal Aspects Comput.	2011	DBLP DOI BibTeX RDF
14	Dong-Joo Park, Dong-Ho Lee	Spy-Tec+ : an Integrated Index Structure for k-Nearest Neighbor Queries with Semantic Predicates in Multimedia Database.	Int. J. Softw. Eng. Knowl. Eng.	2011	DBLP DOI BibTeX RDF
14	Pablo Rivas-Perea, José-Gerardo Rosiles, Wei Qian	Subjective Colocalization Analysis with Fuzzy Predicates.	Soft Computing for Intelligent Control and Mobile Robotics	2011	DBLP DOI BibTeX RDF
14	Wei-Ngan Chin, Cristian Gherghina, Razvan Voicu, Quang Loc Le, Florin Craciun, Shengchao Qin	A Specialization Calculus for Pruning Disjunctive Predicates to Support Verification.	CAV	2011	DBLP DOI BibTeX RDF
14	Rahul Sharma 0001, Isil Dillig, Thomas Dillig, Alex Aiken	Simplifying Loop Invariant Generation Using Splitter Predicates.	CAV	2011	DBLP DOI BibTeX RDF
14	Allel HadjAli, Olivier Pivert	A Fuzzy-Rule-Based Approach to the Handling of Inferred Fuzzy Predicates in Database Queries.	FQAS	2011	DBLP DOI BibTeX RDF
14	Olivier Pivert, Allel HadjAli, Grégory Smits	On Database Queries Involving Inferred Fuzzy Predicates.	ISMIS	2011	DBLP DOI BibTeX RDF
14	Saeed Parsa, Maryam Asadi-Aghbolaghi, Mojtaba Vahidi-Asl	Statistical Debugging Using a Hierarchical Model of Correlated Predicates.	AICI (1)	2011	DBLP DOI BibTeX RDF
14	Hongtao Huang	Detection of Regular Predicates in a Whole Space in Distributed Computation.	ACIS-ICIS	2011	DBLP DOI BibTeX RDF
14	Thomas Holenstein, Grant Schoenebeck	General Hardness Amplification of Predicates and Puzzles - (Extended Abstract).	TCC	2011	DBLP DOI BibTeX RDF
14	Byron Cook, Eric Koskinen	Making prophecies with decision predicates.	POPL	2011	DBLP DOI BibTeX RDF
14	Matthew Anderson, Dieter van Melkebeek, Nicole Schweikardt, Luc Segoufin	Locality of Queries Definable in Invariant First-Order Logic with Arbitrary Built-in Predicates.	ICALP (2)	2011	DBLP DOI BibTeX RDF
14	Cong Tian, Shaoying Liu, Shin Nakajima 0001	Utilizing Model Checking for Automatic Test Case Generation from Conjunctions of Predicates.	ICST Workshops	2011	DBLP DOI BibTeX RDF
14	Marco Leogrande, Luigi Ciminiera, Fulvio Risso	Modeling filtering predicates composition with Finite State Automata.	SoftCOM	2011	DBLP BibTeX RDF
14	Shweta Agrawal, David Mandell Freeman, Vinod Vaikuntanathan	Functional Encryption for Inner Product Predicates from Learning with Errors.	ASIACRYPT	2011	DBLP DOI BibTeX RDF
14	Tafseer Ahmed, Miriam Butt	Discovering Semantic Classes for Urdu N-V Complex Predicates.	ICWS	2011	DBLP BibTeX RDF
14	Magali Sanches Duran, Carlos Ramisch, Sandra M. Aluísio, Aline Villavicencio	Identifying and Analyzing Brazilian Portuguese Complex Predicates.	MWE@ACL	2011	DBLP BibTeX RDF
14	Tatsuaki Okamoto, Katsuyuki Takashima	Efficient Attribute-Based Signatures for Non-monotone Predicates in the Standard Model.	Public Key Cryptography	2011	DBLP DOI BibTeX RDF
14	Anand Simha, Rajiv Kishore	Social Capital and IT as predicates of Collective Mindfulness and Business Risk Mitigation: A Grounded Theory Development.	ICIS	2011	DBLP BibTeX RDF
14	Ross Gore, Paul F. Reynolds Jr., David Kamensky	Statistical debugging with elastic predicates.	ASE	2011	DBLP DOI BibTeX RDF
14	Itziar García-Honrado, Enric Trillas	Unended Reflections on Family Resemblance and Predicates Linguistic Migration.	EUSFLAT Conf.	2011	DBLP DOI BibTeX RDF
14	Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir	PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates.	CALCO	2011	DBLP DOI BibTeX RDF
14	Zuzana Neverilová, Marek Grác	Verbs as Predicates: Towards Inference in a Discourse.	RASLAN	2011	DBLP BibTeX RDF
14	Quang-Thang Dinh, Matthieu Exbrayat, Christel Vrain	Generative Structure Learning for Markov Logic Networks Based on Graph of Predicates.	IJCAI	2011	DBLP DOI BibTeX RDF
14	Vaskar Raychoudhury, Ajay D. Kshemkalyani, Jiannong Cao 0001	Querying context maps using relative timing predicates in pervasive environments.	MidSens	2011	DBLP DOI BibTeX RDF
14	Marco Leogrande, Luigi Ciminiera, Fulvio Risso	Modeling Filtering Predicates Composition with Finite State Automata.	ANCS	2011	DBLP DOI BibTeX RDF	Performance, Design, Algorithms
14	Matthew Gerber, Joyce Yue Chai, Robert Bart	A Joint Model of Implicit Arguments for Nominal Predicates.	RELMS@ACL	2011	DBLP BibTeX RDF
14	Dipanjan Das 0001, Noah A. Smith	Semi-Supervised Frame-Semantic Parsing for Unknown Predicates.	ACL	2011	DBLP BibTeX RDF
14	Seon Yang, Youngjoong Ko	Extracting Comparative Entities and Predicates from Texts Using Comparative Type Classification.	ACL	2011	DBLP BibTeX RDF
14	Thomas Behr, Ralf Hartmut Güting	User defined topological predicates in database systems.	GeoInformatica	2010	DBLP DOI BibTeX RDF
14	Mahdi Cheraghchi, Johan Håstad, Marcus Isaksson, Ola Svensson	Approximating Linear Threshold Predicates.	Electron. Colloquium Comput. Complex.	2010	DBLP BibTeX RDF
14	Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev	Spatial logics with connectedness predicates	Log. Methods Comput. Sci.	2010	DBLP BibTeX RDF
14	Thomas Holenstein, Grant Schoenebeck	General Hardness Amplification of Predicates and Puzzles	CoRR	2010	DBLP BibTeX RDF
14	Zaenal Akbar	Watermarking Java Programs using Dummy Methods with Dynamically Opaque Predicates	CoRR	2010	DBLP BibTeX RDF
14	Maria Monks	Closure properties of predicates recognized by deterministic and non-deterministic asynchronous automata	CoRR	2010	DBLP BibTeX RDF
14	Alexander Rabinovich, Amit Shomrat	Selection over classes of ordinals expanded by monadic predicates.	Ann. Pure Appl. Log.	2010	DBLP DOI BibTeX RDF
14	Horacio Saggion	Inserting rhetorical predicates for quasi-abstractive summarization.	RIAO	2010	DBLP BibTeX RDF
14	Jenny Quillien, Dave West	Rubber ducks, nightmares, and unsaturated predicates: proto-scientific schemata are good for agile.	OOPSLA	2010	DBLP DOI BibTeX RDF
14	Dung Xuan Thi Le, Stéphane Bressan, Eric Pardede, David Taniar, J. Wenny Rahayu	A Utilization of Schema Constraints to Transform Predicates in XPath Query.	DEXA (1)	2010	DBLP DOI BibTeX RDF
14	Lee Naish, Hua Jie Lee, Kotagiri Ramamohanarao	Statements versus Predicates in Spectral Bug Localization.	APSEC	2010	DBLP DOI BibTeX RDF
14	Wolfgang Thomas	On Monadic Theories of Monadic Predicates.	Fields of Logic and Computation	2010	DBLP DOI BibTeX RDF
14	Ioannis Chatzigiannakis, Othon Michail, Stavros Nikolaou, Andreas Pavlogiannis, Paul G. Spirakis	All Symmetric Predicates in NSPACE(n2) Are Stably Computable by the Mediated Population Protocol Model.	MFCS	2010	DBLP DOI BibTeX RDF
14	Thomas Dinsdale-Young, Mike Dodds, Philippa Gardner, Matthew J. Parkinson, Viktor Vafeiadis	Concurrent Abstract Predicates.	ECOOP	2010	DBLP DOI BibTeX RDF
14	Hao Zhou, Anna A. Shaverdian, H. V. Jagadish, George Michailidis	Querying graphs with uncertain predicates.	MLG@KDD	2010	DBLP DOI BibTeX RDF
14	Iris Hendrickx, Amália Mendes, Sílvia Pereira, Anabela Gonçalves, Inês Duarte	Complex Predicates Annotation in a Corpus of Portuguese.	Linguistic Annotation Workshop	2010	DBLP BibTeX RDF
14	Dipankar Das 0001, Santanu Pal, Tapabrata Mondal, Tanmoy Chakraborty 0002, Sivaji Bandyopadhyay	Automatic Extraction of Complex Predicates in Bengali.	MWE@COLING	2010	DBLP BibTeX RDF
14	Tomoko Izumi, Kenji Imamura, Gen-ichiro Kikui, Satoshi Sato	Standardizing Complex Functional Expressions in Japanese Predicates: Applying Theoretically-Based Paraphrasing Rules.	MWE@COLING	2010	DBLP BibTeX RDF
14	Xinli Wang, Jean Mayo, Guy C. Hembroff	Detection of a Weak Conjunction of Unstable Predicates in Dynamic Systems.	ICPADS	2010	DBLP DOI BibTeX RDF
14	Jasmin Christian Blanchette	Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions.	TAP@TOOLS	2010	DBLP DOI BibTeX RDF
14	Tinko Tinchev, Dimiter Vakarelov	Logics of Space with Connectedness Predicates: Complete Axiomatizations.	Advances in Modal Logic	2010	DBLP BibTeX RDF
14	Samir Karmakar, Rajesh Kasturirangan	Cognitive processes underlying the meaning of complex predicates and serial verbs from the perspective of individuating and ordering situations in Bānlā.	IITM	2010	DBLP DOI BibTeX RDF
14	Mahdi Cheraghchi, Johan Håstad, Marcus Isaksson, Ola Svensson	Approximating Linear Threshold Predicates.	APPROX-RANDOM	2010	DBLP DOI BibTeX RDF
14	Yoshie Yamamori	Representing Events in Japanese Complex Predicates.	PACLIC	2010	DBLP BibTeX RDF
14	Shuiying Yao	Stage/Individual-level Predicates, Topics and Indefinite Subjects.	PACLIC	2010	DBLP BibTeX RDF
14	Stefan Schulz 0002	First-Order Logic with Reachability Predicates on Infinite Systems.	FSTTCS	2010	DBLP DOI BibTeX RDF
14	Ajay D. Kshemkalyani	Immediate detection of predicates in pervasive environments.	ARM	2010	DBLP DOI BibTeX RDF
14	Vittorio Cortellessa, Antinisca Di Marco, Catia Trubiani	Performance Antipatterns as Logical Predicates.	ICECCS	2010	DBLP DOI BibTeX RDF
14	Matthew Gerber, Joyce Yue Chai	Beyond NomBank: A Study of Implicit Arguments for Nominal Predicates.	ACL	2010	DBLP BibTeX RDF
14	Bo Fan, Pengzhu Zhang	Spatially enabled customer segmentation using a data classification method with uncertain predicates.	Decis. Support Syst.	2009	DBLP DOI BibTeX RDF
14	James Mattingly, Walter Warwick	Projectible predicates in analogue and simulated systems.	Synth.	2009	DBLP DOI BibTeX RDF
14	Klaus Weihrauch, Yongcheng Wu, Decheng Ding	Absolutely non-computable predicates and functions in analysis.	Math. Struct. Comput. Sci.	2009	DBLP DOI BibTeX RDF
14	M. A. Owais, M. A. Ahmed	Dynamic Similarity Metric Using Fuzzy Predicates for Case-Based Planning.	Int. J. Uncertain. Fuzziness Knowl. Based Syst.	2009	DBLP DOI BibTeX RDF
14	Hazel Everett, Sylvain Lazard, William J. Lenhart, Linqiao Zhang	On the degree of standard geometric predicates for line transversals in 3D.	Comput. Geom.	2009	DBLP DOI BibTeX RDF
14	Steffen Lewitzka	∈I: An Intuitionistic Logic without Fregean Axiom and with Predicates for Truth and Falsity.	Notre Dame J. Formal Log.	2009	DBLP DOI BibTeX RDF
14	Oktie Hassanzadeh	Benchmarking Declarative Approximate Selection Predicates	CoRR	2009	DBLP BibTeX RDF
14	Tamal K. Dey, Joshua A. Levine	Delaunay Meshing of Piecewise Smooth Complexes without Expensive Predicates.	Algorithms	2009	DBLP DOI BibTeX RDF
14	Richi Nayak	Generating rules with predicates, terms and variables from the pruned neural networks.	Neural Networks	2009	DBLP DOI BibTeX RDF
14	Max Heimel, Volker Markl, Keshava Murthy	A Bayesian Approach to Estimating the Selectivity of Conjunctive Predicates.	BTW	2009	DBLP BibTeX RDF
14	Chengcui Zhang, Richa Tiwari, Wei-bang Chen	A Data Mining Method to Extract and Rank Papers Describing Coexpression Predicates Semantically.	ICDM Workshops	2009	DBLP DOI BibTeX RDF
14	Patrick Bosc, Olivier Pivert, Amine Mokhtari	On fuzzy queries with contextual predicates.	FUZZ-IEEE	2009	DBLP DOI BibTeX RDF
14	Tim Fernando	Temporal Propositions as Vague Predicates.	Amsterdam Colloquium on Logic, Language and Meaning	2009	DBLP DOI BibTeX RDF
14	Walter Pedersen	Two Sources of Again-Ambiguities: Evidence from Degree-Achievement Predicates.	Amsterdam Colloquium on Logic, Language and Meaning	2009	DBLP DOI BibTeX RDF
14	Iván V. Meza-Ruíz, Sebastian Riedel 0001	Jointly Identifying Predicates, Arguments and Senses using Markov Logic.	HLT-NAACL	2009	DBLP BibTeX RDF
14	Jean Vuillemin	Efficient Data Structure and Algorithms for Sparse Integers, Sets and Predicates.	IEEE Symposium on Computer Arithmetic	2009	DBLP DOI BibTeX RDF