Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Michael DeRosa |
Locally Distributed Predicates: A Programming Facility for Distributed State Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, pp. 557-558, 2009, Springer, 978-3-642-02845-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | R. Mahesh K. Sinha |
Mining Complex Predicates In Hindi Using A Parallel Hindi-English Corpus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MWE@IJCNLP ![In: Proceedings of the Workshop on Multiword Expressions: Identification, Interpretation, Disambiguation and Applications, MWE@IJCNLP 2009, Singapore, August 6, 2009, pp. 40-46, 2009, Association for Computational Linguistics, 978-1-932432-60-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
14 | Ya-Yunn Su, Jason Flinn |
Automatically Generating Predicates and Solutions for Configuration Troubleshooting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
USENIX Annual Technical Conference ![In: 2009 USENIX Annual Technical Conference, San Diego, CA, USA, June 14-19, 2009, 2009, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
14 | Xinli Wang, Jean Mayo, Guy C. Hembroff, Chunming Gao |
Detection of Conjunctive Stable Predicates in Dynamic Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS ![In: 15th IEEE International Conference on Parallel and Distributed Systems, ICPADS 2009, Shenzhen, China, December 8-11, 2009, pp. 828-835, 2009, IEEE Computer Society, 978-1-4244-5788-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
14 | Mark Chernault |
Impementation of Map, Reduce and Filter Prolog Predicates on the Cell Broadband Engine Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDPTA ![In: Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, PDPTA 2009, Las Vegas, Nevada, USA, July 13-17, 2009, 2 Volumes, pp. 803-807, 2009, CSREA Press, 1-60132-123-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
14 | Milad Niqui, Jan Rutten |
Coinductive Predicates as Final Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FICS ![In: 6th Workshop on Fixed Points in Computer Science, FICS 2009, Coimbra, Portugal, September 12-13, 2009., pp. 79-85, 2009, Institute of Cybernetics, 978-9949-430-29-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
14 | Marek Sawerwain, Roman Gielerak |
Natural Quantum Operational Semantics with Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Appl. Math. Comput. Sci. ![In: Int. J. Appl. Math. Comput. Sci. 18(3), pp. 341-359, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Sungho Choi |
The incompleteness of dispositional predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 163(2), pp. 157-174, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Mario Rodríguez-Artalejo, Carlos A. Romero-Díaz |
Qualified Logic Programming with Bivalued Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROLE ![In: Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, PROLE 2008, Gijón, Spain, October 8-10, 2008, pp. 67-82, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Wujia Zhu, Yi Lin 0001, Ningsheng Gong, Guoping Du |
Problem of infinity between predicates and infinite sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Kybernetes ![In: Kybernetes 37(3/4), pp. 526-533, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Steven Bethard, Zhiyong Lu, James H. Martin, Lawrence Hunter |
Semantic role labeling for protein transport predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 9, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Per Austrin, Elchanan Mossel |
Approximation Resistant Predicates From Pairwise Independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Colloquium Comput. Complex. ![In: Electron. Colloquium Comput. Complex. TR08, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
14 | Per Austrin, Elchanan Mossel |
Approximation Resistant Predicates From Pairwise Independence ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/0802.2300, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
14 | Nianwen Xue |
Labeling Chinese Predicates with Semantic Roles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Linguistics ![In: Comput. Linguistics 34(2), pp. 225-255, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Weimin He, Leonidas Fegaras |
Answering XPath queries with search predicates in structured P2P networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Syst. Sci. Eng. ![In: Comput. Syst. Sci. Eng. 23(2), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
14 | Ioannis Z. Emiris, Elias P. Tsigaridas, George M. Tzoumas |
The Predicates for the Exact Voronoi Diagram of Ellipses under the Euclidiean Metric. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Geom. Appl. ![In: Int. J. Comput. Geom. Appl. 18(6), pp. 567-597, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Carlo Meghini, Nicolas Spyratos |
Synthesizing Monadic Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 18(6), pp. 831-847, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Tommaso Bolognesi |
Predicates for state changes vs. processes for event patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud. Inform. Univ. ![In: Stud. Inform. Univ. 6(2), pp. 196-235, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
14 | Yoshiyuki Tsuchie, Toshimitsu Ushio |
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HSCC ![In: Hybrid Systems: Computation and Control, 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings, pp. 666-669, 2008, Springer, 978-3-540-78928-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Mario Drobics, Klaus-Peter Adlassnig |
Extending the Medical Concept of Reference Intervals Using Fuzzy Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIMCA/IAWTIC/ISE ![In: 2008 International Conferences on Computational Intelligence for Modelling, Control and Automation (CIMCA 2008), Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC 2008), Innovation in Software Engineering (ISE 2008), 10-12 December 2008, Vienna, Austria, pp. 603-608, 2008, IEEE Computer Society, 978-0-7695-3514-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Ting-You Wang, Christopher Ré, Dan Suciu |
Implementing NOT EXISTS Predicates over a Probabilistic Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QDB/MUD ![In: Proceedings of the International Workshop on Quality in Databases and Management of Uncertain Data, Auckland, New Zealand, August 2008, pp. 73-86, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
14 | Richard Bubel, Reiner Hähnle, Peter H. Schmitt |
Specification Predicates with Explicit Dependency Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VERIFY ![In: Proceedings of the 5th International Verification Workshop in connection with IJCAR 2008, Sydney, Australia, August 10-11, 2008, 2008, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
14 | Mayce Ibrahim Ali, Theo Härder |
Database Caching: A Constraint-Based Approach Applied to XPath and XQuery Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grundlagen von Datenbanken ![In: Proceedings of the 20. GI-Workshop on Foundations of Databases (Grundlagen von Datenbanken), Apolda, Thüringen, Germany, May 13-16, 2008, pp. 66-70, 2008, School of Information Technology, International University in Germany. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
14 | Silvia Gaio |
Granular Models for Vague Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOIS ![In: Formal Ontology in Information Systems, Proceedings of the Fifth International Conference, FOIS 2008, Saarbrücken, Germany, October 31st - November 3rd, 2008, pp. 253-265, 2008, IOS Press, 978-1-58603-923-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
14 | Annie Zaenen, Daniel G. Bobrow, Cleo Condoravdi |
The Encoding of lexical implications in VerbNet Predicates of change of locations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the International Conference on Language Resources and Evaluation, LREC 2008, 26 May - 1 June 2008, Marrakech, Morocco, 2008, European Language Resources Association. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP BibTeX RDF |
|
14 | Adi Akavia |
Learning noisy characters, MPC, and cryptographic hardcore predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
14 | Tobias Salzbrunn |
Flow visualization and analysis based on integral line predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
14 | Britta Kehden |
Vektoren und Vektorprädikate und ihre Verwendung bei der Entwicklung relationaler Algorithmen (Vectors and vector predicates and their use in the development of relational algorithms) (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2008 |
RDF |
|
14 | Jixin Ma 0001 |
Ontological considerations of time, meta-predicates and temporal propositions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Ontology ![In: Appl. Ontology 2(1), pp. 37-66, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
14 | Afsaneh Fazly, Suzanne Stevenson, Ryan North |
Automatically learning semantic knowledge about multiword predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Resour. Evaluation ![In: Lang. Resour. Evaluation 41(1), pp. 61-89, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Nicoleta Liviana Tudor |
Optimization of Queries with Conjunction of Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Commun. Control ![In: Int. J. Comput. Commun. Control 2(3), pp. 288-298, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Thadpong Pongthawornkamol, Indranil Gupta |
AVCast: New Approaches for Implementing Generic Availability-Dependent Reliability Predicates for Multicast Receivers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Netw. Serv. Manag. ![In: IEEE Trans. Netw. Serv. Manag. 4(2), pp. 117-126, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Ilya Shlyakhter |
Generating effective symmetry-breaking predicates for search problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 155(12), pp. 1539-1548, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Guillaume Melquiond, Sylvain Pion |
Formally certified floating-point filters for homogeneous geometric predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 41(1), pp. 57-69, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro |
Demand analysis with partial predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 7(1-2), pp. 153-182, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Tarek Sayed Ahmed |
An Interpolation Theorem for First Order Logic with Infinitary Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 15(1), pp. 21-32, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Alexander Rabinovich |
On decidability of monadic logic of order over the naturals extended by monadic predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Comput. ![In: Inf. Comput. 205(6), pp. 870-889, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Tobias Salzbrunn, Gerik Scheuermann |
Streamline Predicates as Flow Topology Generalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Topology-based Methods in Visualization ![In: Topology-based Methods in Visualization, pp. 65-77, 2007, Springer, 978-3-540-70822-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Fekade Getahun, Joe Tekli, Solomon Atnafu, Richard Chbeir |
Towards Efficient Horizontal Multimedia Database Fragmentation using Semantic-based Predicates Implication. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBBD ![In: XXII Simpósio Brasileiro de Banco de Dados, 15-19 de Outubro, João Pessoa, Paraíba, Brasil, Anais, pp. 68-82, 2007, SBC. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
14 | Masaki Nakamura 0001, Kokichi Futatsugi |
On Equality Predicates in Algebraic Specification Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAC ![In: Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings, pp. 381-395, 2007, Springer, 978-3-540-75290-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Manuel V. Hermenegildo |
Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAMP ![In: Proceedings of the POPL 2007 Workshop on Declarative Aspects of Multicore Programming, DAMP 2007, Nice, France, January 16, 2007, pp. 1, 2007, ACM, 978-1-59593-690-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Marc Mörig, Stefan Schirra |
On the Design and Performance of Reliable Geometric Predicates using Error-free Transformations and Exact Sign of Sum Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 19th Annual Canadian Conference on Computational Geometry, CCCG 2007, August 20-22, 2007, Carleton University, Ottawa, Canada, pp. 45-48, 2007, Carleton University, Ottawa, Canada, 978-0-7709-0520-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
14 | Hassan Jameel, Riaz Ahmed Shaikh 0001, Heejo Lee, Sungyoung Lee |
Human Identification Through Image Evaluation Using Secret Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CT-RSA ![In: Topics in Cryptology - CT-RSA 2007, The Cryptographers' Track at the RSA Conference 2007, San Francisco, CA, USA, February 5-9, 2007, Proceedings, pp. 67-84, 2007, Springer, 3-540-69327-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Jörg Roth |
Inferring Position Knowledge from Location Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LoCA ![In: Location- and Context-Awareness, Third International Symposium, LoCA 2007, Oberpfaffenhofen, Germany, September 20-21, 2007, Proceedings, pp. 245-262, 2007, Springer, 978-3-540-75159-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Location inference, position data fusion, probability model |
14 | Ian Wakeman, Stephen Cogdon, Laurent Mathy, Michael Fry 0001 |
Localising Multicast Using Application Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSOS ![In: Self-Organizing Systems, Second International Workshop, IWSOS 2007, The Lake District, UK, September 11-13, 2007, Proceedings, pp. 193-207, 2007, Springer, 978-3-540-74916-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Kerstin Schwabe, Robert Fittler |
Semantic Characterizations of German Question-Embedding Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TbiLLC ![In: Logic, Language, and Computation, 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers, pp. 229-241, 2007, Springer, 978-3-642-00664-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
14 | Warren Shen, AnHai Doan, Jeffrey F. Naughton, Raghu Ramakrishnan 0001 |
Declarative Information Extraction Using Datalog with Embedded Extraction Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB ![In: Proceedings of the 33rd International Conference on Very Large Data Bases, University of Vienna, Austria, September 23-27, 2007, pp. 1033-1044, 2007, ACM, 978-1-59593-649-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
14 | Richard Bubel |
Formal verification of recursive predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
14 | Afsaneh Fazly |
Automatic acquisition of lexical knowledge about multiword predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2007 |
RDF |
|
14 | James L. Caldwell, Josef Pohl |
Constructive Membership Predicates as Index Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV@IJCAR ![In: Proceedings of the Programming Languages meets Program Verification, PLPV@IJCAR 2006, Part of FLoC 2006, Seattle, WA, USA, August 21, 2006, pp. 3-16, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Sebastian Fischer 0001 |
Lazy Database Access with Persistent Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WFLP ![In: Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006, pp. 185-200, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Pushpak Bhattacharyya, Debasri Chakrabarti, Vaijayanthi M. Sarma |
Complex predicates in Indian languages and wordnets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lang. Resour. Evaluation ![In: Lang. Resour. Evaluation 40(3-4), pp. 331-355, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Ioannis Z. Emiris, Menelaos I. Karavelas |
The predicates of the Apollonius diagram: Algorithmic analysis and implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Geom. ![In: Comput. Geom. 33(1-2), pp. 18-57, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Julio Mariño, Ángel Herranz-Nieva, Juan José Moreno-Navarro |
Demand Analysis with Partial Predicates ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0602008, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
14 | Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco |
Definability and decidability of binary predicates for time granularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Appl. Log. ![In: J. Appl. Log. 4(2), pp. 168-191, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | James G. Raftery |
The equational definability of truth predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 41, pp. 95-149, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
14 | Domenico Cantone, Gianluca Cincotti, Giovanni Gallo |
Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 41(7), pp. 763-789, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Nianwen Xue |
Semantic role labeling of nominalized predicates in Chinese. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLT-NAACL ![In: Human Language Technology Conference of the North American Chapter of the Association of Computational Linguistics, Proceedings, June 4-9, 2006, New York, New York, USA, 2006, The Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
14 | Hai-Feng Guo, Miao Liu, Bharat Jayaraman |
Relaxation on Optimization Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pp. 425-426, 2006, Springer, 3-540-36635-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
14 | Hazel Everett, Sylvain Lazard, William J. Lenhart, Jeremy Redburn, Linqiao Zhang |
Predicates for Line Transversals in 3D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCCG ![In: Proceedings of the 18th Annual Canadian Conference on Computational Geometry, CCCG 2006, August 14-16, 2006, Queen's University, Ontario, Canada, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
14 | André Reckhemke, Eike Schallehn |
Combining Index Structures for application-specific String Similarity Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Grundlagen von Datenbanken ![In: Tagungsband zum 18. GI-Workshop über Grundlagen von Datenbanken (18th GI-Workshop on the Foundations of Databases), Wittenberg, Sachsen-Anhalt, Deutschland, 6.-9. Juni 2006, pp. 125-129, 2006, Institute of Computer Science, Martin-Luther-University. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
14 | Pierre Grenon |
Temporal Qualification and Change with First-Order Binary Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOIS ![In: Formal Ontology in Information Systems, Proceedings of the Fourth International Conference, FOIS 2006, Baltimore, Maryland, USA, November 9-11, 2006, pp. 155-166, 2006, IOS Press, 978-1-58603-685-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
14 | Alejandro Pauly, Markus Schneider 0001 |
Topological Reasoning for Identifying a Complete Set of Topological Predicates between Vague Spatial Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLAIRS ![In: Proceedings of the Nineteenth International Florida Artificial Intelligence Research Society Conference, Melbourne Beach, Florida, USA, May 11-13, 2006, pp. 731-736, 2006, AAAI Press. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
14 | Haibo Hu 0001, Dik Lun Lee |
Energy-Efficient Monitoring of Spatial Predicates over Moving Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Data Eng. Bull. ![In: IEEE Data Eng. Bull. 28(3), pp. 19-26, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | David Faitelson, James Welch, Jim Davies |
From Predicates to Programs: The Semantics of a Method Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SBMF ![In: Proceedings of the Second Brazilian Symposium on Formal Methods, SBMF 2005, Porto Alegre, RS, Brazil, November 30, 2005, pp. 171-187, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Gautam Appa, Dimitris Magos, Ioannis Mourtos |
On the system of two all_different predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 94(3), pp. 99-105, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Johan van Benthem |
Minimal predicates, fixed-points, and definability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 70(3), pp. 696-712, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Hyun Kyoo Park, Jin Hyun Son, Myoung-Ho Kim |
Dynamic histograms for future spatiotemporal range predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 172(1-2), pp. 195-214, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Paulo A. S. Veloso, Sheila R. M. Veloso |
On 'Most' and 'Representative': Filter Logic and Special Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. J. IGPL ![In: Log. J. IGPL 13(6), pp. 717-728, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Bala Ravikumar, Greg Cooper |
Fibonacci Search Algorithm for Finding Extremum Using Unary Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCS ![In: Proceedings of The 2005 International Conference on Foundations of Computer Science, FCS 2005, Las Vegas, Nevada, USA, June 27-30, 2005, pp. 59-63, 2005, CSREA Press, 1-932415-71-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Alfonso Gerevini, Alessandro Saetti, Ivan Serina, Paolo Toninelli |
Fast Planning in Domains with Derived Predicates: An Approach Based on Rule-Action Graphs and Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAAI ![In: Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA, pp. 1157-1162, 2005, AAAI Press / The MIT Press, 1-57735-236-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Vugranam C. Sreedhar, Maria-Cristina V. Marinescu |
From statecharts to ESP: programming with events, states and predicates for embedded systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: EMSOFT 2005, September 18-22, 2005, Jersey City, NJ, USA, 5th ACM International Conference On Embedded Software, Proceedings, pp. 48-51, 2005, ACM, 1-59593-091-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
multiple classification, statechart, predicate dispatch |
14 | Jeff Z. Pan, Ian Horrocks 0001 |
Introducing Customised Datatypes and Datatype Predicates into OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OWLED ![In: Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005, 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Jochen L. Leidner |
Preliminary Experiments with Geo-Filtering Predicates for Geographic IR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CLEF (Working Notes) ![In: Working Notes for CLEF 2005 Workshop co-located with the 9th European Conference on Digital Libraries (ECDL 2005), Wien, Austria, September 21-22, 2005., 2005, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Anirban Majumdar 0001, Clark D. Thomborson |
On the Use of Opaque Predicates in Mobile Agent Code Obfuscation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISI ![In: Intelligence and Security Informatics, IEEE International Conference on Intelligence and Security Informatics, ISI 2005, Atlanta, GA, USA, May 19-20, 2005, Proceedings, pp. 648-649, 2005, Springer, 3-540-25999-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
14 | Afsaneh Fazly, Suzanne Stevenson |
Automatic Acquisition of Knowledge About Multiword Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACLIC ![In: Proceedings of the 19st Pacific Asia Conference on Language, Information and Computation, PACLIC 19, Academia Sinica, Taipei, Taiwan, December 1-3, 2005, 2005, ACL. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Liang Jin, Chen Li 0001 |
Selectivity Estimation for Fuzzy String Predicates in Large Data Sets. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB ![In: Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30 - September 2, 2005, pp. 397-408, 2005, ACM, 1-59593-154-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Volker Markl, Nimrod Megiddo, Marcel Kutsch, Tam Minh Tran, Peter J. Haas, Utkarsh Srivastava |
Consistently Estimating the Selectivity of Conjuncts of Predicates. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
VLDB ![In: Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30 - September 2, 2005, pp. 373-384, 2005, ACM, 1-59593-154-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
14 | Shin-ya Katsumata |
A generalisation of pre-logical predicates and its applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
14 | Lars Engebretsen |
The Nonapproximability of Non-Boolean Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 18(1), pp. 114-129, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Cristian Grozea |
NP Predicates Computable in the Weakest Level of the Grzegorczyck Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Lang. Comb. ![In: J. Autom. Lang. Comb. 9(2/3), pp. 269-279, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Michael Hanus |
Dynamic Predicates in Functional Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Log. Program. ![In: J. Funct. Log. Program. 2004, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
14 | Nicolas Peltier |
A Proof Procedure for Functional First Order Logic Programs with Non-Deterministic Lazy Functions and Built-in Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Log. Program. ![In: J. Funct. Log. Program. 2004, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
14 | Shuvendu K. Lahiri, Randal E. Bryant |
Predicate Abstraction with Indexed Predicates ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.LO/0407006, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
14 | Giovambattista Ianni, Francesco Calimeri, Adriana Pietramala, Maria Carmela Santoro |
Parametric external predicates for the DLV System ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.AI/0404011, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
14 | Endre Boros, Vladimir Menkov |
Exact and approximate discrete optimization algorithms for finding useful disjunctions of categorical predicates in data analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 144(1-2), pp. 43-58, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Andrzej Wronski |
On Prucnal's Model-determinated Logic and Definable Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reports Math. Log. ![In: Reports Math. Log. 38, pp. 87-91, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
14 | Ho-Hyun Park, Jun-Ki Min, Chin-Wan Chung, Tae-Gyu Chang |
Multi-way R-tree joins using indirect predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Softw. Technol. ![In: Inf. Softw. Technol. 46(11), pp. 739-751, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Tommaso Bolognesi |
Predicates for state changes vs. processes for event patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud. Inform. Univ. ![In: Stud. Inform. Univ. 3(1), pp. 85-124, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
14 | Ken Kaneiwa |
The completeness of logic programming with sort predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Syst. Comput. Jpn. ![In: Syst. Comput. Jpn. 35(1), pp. 37-46, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Markus Schneider |
Vague Topological Predicates for Crisp Regions through Metric Refinements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SDH ![In: Developments in Spatial Data Handling, 11th International Symposium on Spatial Data Handling, Leicester, UK, August 23-25, 2004, pp. 149-162, 2004, Springer, 978-3-540-22610-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Raymond T. Boute |
Formal Reasoning About Systems, Software and Hardware - Using Functionals, Predicates and Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP Congress Tutorials ![In: Information Technology, Selected Tutorials, IFIP 18th World Computer Congress, Tutorials, 22-27 August 2004, Toulouse, France, pp. 85-114, 2004, Kluwer/Springer, 1-4020-8158-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Mario Drobics |
Choosing the best predicates for data-driven fuzzy modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2004, Budapest, Hungary, July 25-29, 2004., pp. 245-249, 2004, IEEE, 0-7803-8353-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Henri Prade, Mathieu Serrurier |
Getting adaptability or expressivity in inductive logic programming by using fuzzy predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2004, Budapest, Hungary, July 25-29, 2004., pp. 73-77, 2004, IEEE, 0-7803-8353-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Ching-Cheng Lee, Sushma Sampathkumar |
Web mining for topics defined by complex and precise predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Mining and Knowledge Discovery: Theory, Tools, and Technology ![In: Data Mining and Knowledge Discovery: Theory, Tools, and Technology VI, Orlando, FL, USA, April 12, 2004, pp. 228-235, 2004, SPIE, 978-0-8194-5356-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Nobuhiro Kaji, Masashi Okamoto, Sadao Kurohashi |
Paraphrasing Predicates from Written Language to Spoken Language Using the Web. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HLT-NAACL ![In: Human Language Technology Conference of the North American Chapter of the Association for Computational Linguistics, HLT-NAACL 2004, Boston, Massachusetts, USA, May 2-7, 2004, pp. 241-248, 2004, The Association for Computational Linguistics. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
14 | Hendra Suryanto, Paul Compton |
Invented Predicates to Reduce Knowledge Acquisition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Engineering Knowledge in the Age of the Semantic Web, 14th International Conference, EKAW 2004, Whittlebury Hall, UK, October 5-8, 2004, Proceedings, pp. 293-306, 2004, Springer, 3-540-23340-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
14 | Jordi Atserias, Bernardo Magnini, Octavian Popescu, Eneko Agirre, Aitziber Atutxa, German Rigau, John Carroll 0001, Rob Koeling |
Cross-Language Acquisition of Semantic Models for Verbal Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LREC ![In: Proceedings of the Fourth International Conference on Language Resources and Evaluation, LREC 2004, May 26-28, 2004, Lisbon, Portugal, 2004, European Language Resources Association. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
14 | Fernando Gomez |
Building Verb Predicates: A Computational View. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: Proceedings of the 42nd Annual Meeting of the Association for Computational Linguistics, 21-26 July, 2004, Barcelona, Spain., pp. 359-366, 2004, ACL. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP BibTeX RDF |
|
14 | Punit Chandra, Ajay D. Kshemkalyani |
Distributed algorithm to detect strong conjunctive predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Process. Lett. ![In: Inf. Process. Lett. 87(5), pp. 243-249, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|