Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
21 | Leonardo Lesmo, Pietro Torasso |
Analysis of Conjunctions in a Rule-Based Parser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: 23rd Annual Meeting of the Association for Computational Linguistics, 8-12 July 1985, University of Chicago, Chicago, Illinois, USA, Proceedings., pp. 180-187, 1985, ACL. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Robert C. Berwick, Sandiway Fong |
New Approaches to Parsing Conjunctions Using Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACL ![In: 23rd Annual Meeting of the Association for Computational Linguistics, 8-12 July 1985, University of Chicago, Chicago, Illinois, USA, Proceedings., pp. 118-126, 1985, ACL. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
21 | Xiuming Huang |
Dealing With Conjunctions In A Machine Translation Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: 10th International Conference on Computational Linguistics and 22nd Annual Meeting of the Association for Computational Linguistics, Proceedings of COLING '84, July 2-6, 1984, Stanford University, California, USA., pp. 243-246, 1984, ACL. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
21 | Stefano A. Cerri |
Learning Translation Skills With A Knowledge-Based Tutor: French-Italian Conjunctions In Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL ![In: EACL 1983, 1st Conference of the European Chapter of the Association for Computational Linguistics, September 1-2, 1983, Pisa, Italy, pp. 133-138, 1983, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
21 | Xiuming Huang |
Dealing With Conjunctions In A Machine Translation Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EACL ![In: EACL 1983, 1st Conference of the European Chapter of the Association for Computational Linguistics, September 1-2, 1983, Pisa, Italy, pp. 81-85, 1983, The Association for Computer Linguistics. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP BibTeX RDF |
|
21 | Ralph Grishman |
Conjunctions And Modularity In Language Analysis Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COLING ![In: Proceedings of the 8th International Conference on Computational Linguistics, COLING '80, Tokyo, Japan, September 30 - October 4, 1980, pp. 500-503, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP BibTeX RDF |
|
21 | Ismail Burhan Türksen |
Extensions on solutions of Boolean equations via its conjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 8(2), pp. 187-200, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
11 | Frederik Hogenboom, Flavius Frasincar, Uzay Kaymak |
A review of approaches for representing RCC8 in OWL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1444-1445, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
RCC8, spatial knowledge representation, OWL |
11 | Allen Leung, Nicolas Vasilache, Benoît Meister, Muthu Manikandan Baskaran, David Wohlford, Cédric Bastoul, Richard Lethin |
A mapping path for multi-GPGPU accelerated computers from a portable high level programming abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPGPU ![In: Proceedings of 3rd Workshop on General Purpose Processing on Graphics Processing Units, GPGPU 2010, Pittsburgh, Pennsylvania, USA, March 14, 2010, pp. 51-61, 2010, ACM, 978-1-60558-935-0. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
compiler optimziation, parallelization, GPGPU, CUDA, polyhedral model, automatic translation |
11 | Leslie G. Valiant |
Evolvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 56(1), pp. 3:1-3:21, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
SQ learning, Evolvable, PAC learning |
11 | Adam J. Lee, Kazuhiro Minami, Nikita Borisov |
Confidentiality-preserving distributed proofs of conjunctive queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AsiaCCS ![In: Proceedings of the 2009 ACM Symposium on Information, Computer and Communications Security, ASIACCS 2009, Sydney, Australia, March 10-12, 2009, pp. 287-297, 2009, ACM, 978-1-60558-394-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
distributed proof, pervasive computing, consistency |
11 | David Monniaux |
On Using Floating-Point Computations to Help an Exact Linear Arithmetic Decision Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26 - July 2, 2009. Proceedings, pp. 570-583, 2009, Springer, 978-3-642-02657-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Carlos A. Hurtado, Alexandra Poulovassilis, Peter T. Wood |
Finding Top-k Approximate Answers to Path Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FQAS ![In: Flexible Query Answering Systems, 8th International Conference, FQAS 2009, Roskilde, Denmark, October 26-28, 2009. Proceedings, pp. 465-476, 2009, Springer, 978-3-642-04956-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Serge Gaspers, Gregory B. Sorkin |
A universally fastest algorithm for Max 2-Sat, Max 2-CSP, and everything in between. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twentieth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2009, New York, NY, USA, January 4-6, 2009, pp. 606-615, 2009, SIAM, 978-0-89871-680-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Christie I. Ezeife, Kashif Saeed, Dan Zhang |
Mining very long sequences in large databases with PLWAPLong. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: International Database Engineering and Applications Symposium (IDEAS 2009), September 16-18, 2009, Cetraro, Calabria, Italy, pp. 234-241, 2009, ACM, 978-1-60558-402-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
PLWAP mining, long sequences, data mining, association rule mining |
11 | Balázs Szörényi |
Characterizing Statistical Query Learning: Simplified Notions and Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALT ![In: Algorithmic Learning Theory, 20th International Conference, ALT 2009, Porto, Portugal, October 3-5, 2009. Proceedings, pp. 186-200, 2009, Springer, 978-3-642-04413-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Antonio Hernández Zavala, Ildar Z. Batyrshin, Imre J. Rudas, Luis A. Villa Vargas, Oscar Camacho Nieto |
Parametric Operations for Digital Hardware Implementation of Fuzzy Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2009: Advances in Artificial Intelligence, 8th Mexican International Conference on Artificial Intelligence, Guanajuato, Mexico, November 9-13, 2009. Proceedings, pp. 432-443, 2009, Springer, 978-3-642-05257-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
digital fuzzy hardware, parametric conjunction, Fuzzy logic, generator, conjunction, disjunction |
11 | Mohua Banerjee, Didier Dubois |
A Simple Modal Logic for Reasoning about Revealed Beliefs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings, pp. 805-816, 2009, Springer, 978-3-642-02905-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Carlos A. Hurtado, Alexandra Poulovassilis, Peter T. Wood |
Ranking Approximate Answers to Semantic Web Queries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESWC ![In: The Semantic Web: Research and Applications, 6th European Semantic Web Conference, ESWC 2009, Heraklion, Crete, Greece, May 31-June 4, 2009, Proceedings, pp. 263-277, 2009, Springer, 978-3-642-02120-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Diederik Aerts, Sven Aerts, Liane Gabora |
Experimental Evidence for Quantum Structure in Cognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QI ![In: Quantum Interaction, Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings, pp. 59-70, 2009, Springer, 978-3-642-00833-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Diederik Aerts, Bart D'Hooghe |
Classical Logical Versus Quantum Conceptual Thought: Examples in Economics, Decision Theory and Concept Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QI ![In: Quantum Interaction, Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings, pp. 128-142, 2009, Springer, 978-3-642-00833-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Saurabh Srivastava 0001, Sumit Gulwani |
Program verification using templates over predicate abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2009, Dublin, Ireland, June 15-21, 2009, pp. 223-234, 2009, ACM, 978-1-60558-392-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
constraint-based fixed-point, iterative fixed-point, quantified invariants, template invariants, predicate abstraction, weakest preconditions, smt solvers |
11 | Hyondeuk Kim, Fabio Somenzi, HoonSang Jin |
Efficient Term-ITE Conversion for Satisfiability Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2009, 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings, pp. 195-208, 2009, Springer, 978-3-642-02776-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Alexander Fuchs 0003, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli |
Ground Interpolation for the Theory of Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 413-427, 2009, Springer, 978-3-642-00767-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Anu Singh, C. R. Ramakrishnan 0001, Scott A. Smolka |
Query-Based Model Checking of Ad Hoc Network Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings, pp. 603-619, 2009, Springer, 978-3-642-04080-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Dirk Beyer 0001, Alessandro Cimatti, Alberto Griggio, M. Erkan Keremoglu, Roberto Sebastiani |
Software model checking via large-block encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMCAD ![In: Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA, pp. 25-32, 2009, IEEE, 978-1-4244-4966-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Elsa Loekito, James Bailey 0001 |
Using Highly Expressive Contrast Patterns for Classification - Is It Worthwhile?. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 13th Pacific-Asia Conference, PAKDD 2009, Bangkok, Thailand, April 27-30, 2009, Proceedings, pp. 483-490, 2009, Springer, 978-3-642-01306-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Expressive contrasts, disjunctive emerging patterns, classification, emerging patterns, quantitative association rules |
11 | Shing-Kit Chan, Wai Lam |
An Efficient Method for Generating, Storing and Matching Features for Text Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 13th Pacific-Asia Conference, PAKDD 2009, Bangkok, Thailand, April 27-30, 2009, Proceedings, pp. 86-97, 2009, Springer, 978-3-642-01306-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Michel Abdalla, Céline Chevalier, David Pointcheval |
Smooth Projective Hashing for Conditionally Extractable Commitments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO 2009, 29th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 16-20, 2009. Proceedings, pp. 671-689, 2009, Springer, 978-3-642-03355-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
11 | Aika Mukai, Toshiyuki Yamamoto, Makoto J. Hirayama |
A study of correlation between transitions and sound effects in a fairy tale movie. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIS ![In: Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, Culture and Human (ICIS 2009), Seoul, Korea, 24-26 November 2009, pp. 17-20, 2009, ACM, 978-1-60558-710-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
the relation of link of scenes and transitional motion patterns, the relation of transitional motion patterns and sound effects, conjunction |
11 | Christopher W. Brown 0001 |
Fast simplifications for Tarski formulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSAC ![In: Symbolic and Algebraic Computation, International Symposium, ISSAC 2009, Seoul, Republic of Korea, July 29-31, 2009, Proceedings, pp. 63-70, 2009, ACM, 978-1-60558-609-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
tarski formulas, simplification |
11 | Chedy Raïssi, Toon Calders, Pascal Poncelet |
Mining conjunctive sequential patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Data Min. Knowl. Discov. ![In: Data Min. Knowl. Discov. 17(1), pp. 77-93, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Non-derivability, Sequential patterns, Deduction, Condensed representation |
11 | Maurice Bernadet |
Fuzzy Knowledge Discovery Based on Statistical Implication Indexes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Statistical Implicative Analysis ![In: Statistical Implicative Analysis, Theory and Applications, pp. 481-506, 2008, Springer, 978-3-540-78982-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Statistical implication, fuzzy knowledge discovery, fuzzy operators, fuzzy implication |
11 | Jan Camenisch, Thomas Groß 0001 |
Efficient attributes for anonymous credentials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008, pp. 345-356, 2008, ACM, 978-1-59593-810-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
efficient attribute encoding, privacy, cryptographic protocols, anonymous credential systems |
11 | Himanshu Jain, Edmund M. Clarke, Orna Grumberg |
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings, pp. 254-267, 2008, Springer, 978-3-540-70543-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Daniel Pavelec, Edson J. R. Justino, Leonardo Vidal Batista, Luiz S. Oliveira |
Author identification using writer-dependent and writer-independent strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), Fortaleza, Ceara, Brazil, March 16-20, 2008, pp. 414-418, 2008, ACM, 978-1-59593-753-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
author identification, stylometry |
11 | Cerstin Mahlow, Michael Piotrowski |
Linguistic Support for Revising and Editing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICLing ![In: Computational Linguistics and Intelligent Text Processing, 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008, Proceedings, pp. 631-642, 2008, Springer, 978-3-540-78134-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Florian Horn 0001, Wolfgang Thomas, Nico Wallmeier |
Optimal Strategy Synthesis in Request-Response Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATVA ![In: Automated Technology for Verification and Analysis, 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings, pp. 361-373, 2008, Springer, 978-3-540-88386-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Imre J. Rudas, Ildar Z. Batyrshin, Antonio Hernández Zavala, Oscar Camacho Nieto, László Horváth, Luis A. Villa Vargas |
Generators of Fuzzy Operations for Hardware Implementation of Fuzzy Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008, Proceedings, pp. 710-719, 2008, Springer, 978-3-540-88635-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fuzzy processor, Fuzzy logic, generator, fuzzy system, conjunction |
11 | Wei Zhang 0014, Thomas G. Dietterich |
Learning visual dictionaries and decision lists for object recognition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 19th International Conference on Pattern Recognition (ICPR 2008), December 8-11, 2008, Tampa, Florida, USA, pp. 1-4, 2008, IEEE Computer Society, 978-1-4244-2175-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Joohyung Lee 0002, Vladimir Lifschitz, Ravi Palla |
Safe Formulas in the General Theory of Stable Models (Preliminary Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 672-676, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Latif Salum, Aliye Ayca Supciller |
Rule-Based Modeling of Assembly Constraints for Line Balancing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIC (2) ![In: Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 4th International Conference on Intelligent Computing, ICIC 2008, Shanghai, China, September 15-18, 2008, Proceedings, pp. 783-789, 2008, Springer, 978-3-540-85983-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Assembly line balancing, Rule-based representation, Precedence constraints |
11 | Vladimir V. Podolskii |
A Uniform Lower Bound on Weights of Perceptrons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings, pp. 261-272, 2008, Springer, 978-3-540-79708-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Sumit Gulwani, Saurabh Srivastava 0001, Ramarathnam Venkatesan |
Program analysis as constraint solving. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 281-292, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
most-general counterexamples, non-termination analysis, strongest postcondition, program verification, constraint solving, weakest precondition, bounds analysis |
11 | Esben Rune Hansen, Peter Tiedemann |
Improving the Performance of Interactive Configuration with Regular String Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI (1) ![In: 20th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2008), November 3-5, 2008, Dayton, Ohio, USA, Volume 1, pp. 3-10, 2008, IEEE Computer Society, 978-0-7695-3440-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Shuting Cai, Xuesong Chen, Qinruo Wang, Ming Yin 0002 |
FPGA Implementation of Generalized Fuzzy Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (3) ![In: Fifth International Conference on Fuzzy Systems and Knowledge Discovery, FSKD 2008, 18-20 October 2008, Jinan, Shandong, China, Proceedings, Volume 3, pp. 560-564, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
11 | Vitaly Feldman |
Evolvability from learning algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 40th Annual ACM Symposium on Theory of Computing, Victoria, British Columbia, Canada, May 17-20, 2008, pp. 619-628, 2008, ACM, 978-1-60558-047-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
evolvability, pac learning, statistical query |
11 | Aless Lasaruk, Thomas Sturm 0001 |
Weak quantifier elimination for the full linear theory of the integers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 18(6), pp. 545-574, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Integer constraint solving, Implementation, Quantifier elimination |
11 | Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
Decision procedures for extensions of the theory of arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 50(3-4), pp. 231-254, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 68T27, 03B25, 03B70, 68T15 |
11 | Yannis Tzitzikas |
Evolution of faceted taxonomies and CTCA expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 13(3), pp. 337-365, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Faceted taxonomies, Knowledge revision, Updates |
11 | Joanna Golinska-Pilarek, Ewa Orlowska |
Tableaux and Dual Tableaux: Transformation of Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 85(3), pp. 283-302, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
first-order logic with identity, tableaux systems, Rasiowa-Sikorski proof system |
11 | Lengning Liu, Miroslaw Truszczynski |
Satisfiability Testing of Boolean Combinations of Pseudo-Boolean Constraints using Local-search Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 12(3), pp. 345-369, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Pseudo-Boolean constraints, Boolean satisfiability, Stochastic local search |
11 | Dashan Gao 0001, Nuno Vasconcelos |
Bottom-up saliency is a discriminant process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCV ![In: IEEE 11th International Conference on Computer Vision, ICCV 2007, Rio de Janeiro, Brazil, October 14-20, 2007, pp. 1-6, 2007, IEEE Computer Society, 978-1-4244-1630-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Alessandro Cimatti, Marco Roveri, Viktor Schuppan, Stefano Tonetta |
Boolean Abstraction for Temporal Logic Satisfiability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings, pp. 532-546, 2007, Springer, 978-3-540-73367-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Amit Satsangi, Osmar R. Zaïane |
Contrasting the Contrast Sets: An Alternative Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: Eleventh International Database Engineering and Applications Symposium (IDEAS 2007), September 6-8, 2007, Banff, Alberta, Canada, pp. 114-119, 2007, IEEE Computer Society, 0-7695-2947-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | David Coufal |
Coherence Index of Radial Conjunctive Fuzzy Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (1) ![In: Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings, pp. 502-512, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Li Zhang, Zheng Pei 0001, Honghua Chen |
Extracting Fuzzy Linguistic Summaries Based on Including Degree Theory and FCA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA (1) ![In: Foundations of Fuzzy Logic and Soft Computing, 12th International Fuzzy Systems Association World Congress, IFSA 2007, Cancun, Mexico, June 18-21, 2007, Proceedings, pp. 273-283, 2007, Springer, 978-3-540-72917-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Andrea Arcuri, Xin Yao 0001 |
A Memetic Algorithm for test data generation of Object-Oriented software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore, pp. 2048-2055, 2007, IEEE, 978-1-4244-1339-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman |
Generalized Parity Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings, pp. 153-167, 2007, Springer, 978-3-540-71388-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Martin Gebser, Torsten Schaub |
Generic Tableaux for Answer Set Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings, pp. 119-133, 2007, Springer, 978-3-540-74608-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Leslie G. Valiant |
Evolvability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2007, 32nd International Symposium, MFCS 2007, Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings, pp. 22-43, 2007, Springer, 978-3-540-74455-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Vinit A. Ogale, Vijay K. Garg |
Detecting Temporal Logic Predicates on Distributed Computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 21st International Symposium, DISC 2007, Lemesos, Cyprus, September 24-26, 2007, Proceedings, pp. 420-434, 2007, Springer, 978-3-540-75141-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Pierre Senellart, Serge Abiteboul |
On the complexity of managing probabilistic XML data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 11-13, 2007, Beijing, China, pp. 283-292, 2007, ACM, 978-1-59593-685-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
semi-structured databases, XML, complexity, probabilistic databases |
11 | Francesco Banterle, Roberto Giacobazzi |
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings, pp. 315-332, 2007, Springer, 978-3-540-74060-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Octagon Abstract Domain, General Processing on GPU, Parallel Computing, Abstract Interpretation, Static Program Analysis |
11 | Yong Tang, Xicheng Lu, Bin Xiao 0001 |
Generating Simplified Regular Expression Signatures for Polymorphic Worms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ATC ![In: Autonomic and Trusted Computing, 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007, Proceedings, pp. 478-488, 2007, Springer, 978-3-540-73546-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Masao Yokota |
Towards Intuitive Spatiotemporal Communication Between Human and Ubiquitous Intelligence Based on Mental Image Directed Semantic Theory - A General Theory of Tempo-logical Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIC ![In: Ubiquitous Intelligence and Computing, 4th International Conference, UIC 2007, Hong Kong, China, July 11-13, 2007, Proceedings, pp. 1066-1078, 2007, Springer, 978-3-540-73548-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Arun Meena, Tadinada Vankata Prabhakar |
Sentence Level Sentiment Analysis in the Presence of Conjuncts Using Linguistic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECIR ![In: Advances in Information Retrieval, 29th European Conference on IR Research, ECIR 2007, Rome, Italy, April 2-5, 2007, Proceedings, pp. 573-580, 2007, Springer, 978-3-540-71494-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
favorability analysis, information extraction, text mining, text classification, Sentiment analysis, semantic orientation |
11 | Keehang Kwon, JaeWoo Kim, Jang-Wu Jo |
An Internet Query Language based on Intuitionistic Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SERA ![In: 5th ACIS International Conference on Software Engineering Research, Management & Applications (SERA 2007), August 20-22, 2007, Haeundae Grand Hotel, Busan, Korea, pp. 98-100, 2007, IEEE Computer Society, 0-7695-2867-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
internet, information retrieval, linear logic, theory of computation |
11 | Monika Záková, Filip Zelezný |
Exploiting Term, Predicate, and Feature Taxonomies in Propositionalization and Propositional Rule Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECML ![In: Machine Learning: ECML 2007, 18th European Conference on Machine Learning, Warsaw, Poland, September 17-21, 2007, Proceedings, pp. 798-805, 2007, Springer, 978-3-540-74957-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Mathias Péron, Nicolas Halbwachs |
An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings, pp. 268-282, 2007, Springer, 978-3-540-69735-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
difference-bound matrices, disequalities, static analysis, alias analysis, abstract domains |
11 | Peter Van Weert, Jon Sneyers, Bart Demoen |
Aggregates for CHR through Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers, pp. 59-73, 2007, Springer, 978-3-540-78768-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Aless Lasaruk, Thomas Sturm 0001 |
Weak Integer Quantifier Elimination Beyond the Linear Case. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASC ![In: Computer Algebra in Scientific Computing, 10th International Workshop, CASC 2007, Bonn, Germany, September 16-20, 2007, Proceedings, pp. 275-294, 2007, Springer, 978-3-540-75186-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
11 | Akihito Sudo, Manabu Tsuboyama, Chenli Zhang, Akihiro Sato, Osamu Hasegawa |
Pattern-Based Reasoning System Using Self-incremental Neural Network for Propositional Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Neural Information Processing, 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I, pp. 338-347, 2007, Springer, 978-3-540-69154-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
neural network, intelligent agent, Reasoning, intelligent robot |
11 | Xuan Hieu Phan, Le Minh Nguyen 0001, Yasushi Inoguchi, Tu Bao Ho, Susumu Horiguchi |
Improving discriminative sequential learning by discovering important association of statistics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Lang. Inf. Process. ![In: ACM Trans. Asian Lang. Inf. Process. 5(4), pp. 413-438, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Discriminative sequential learning, feature selection, information extraction, association rule mining, text segmentation |
11 | Goran Nenadic, Sophia Ananiadou |
Mining semantically related terms from biomedical literature. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Asian Lang. Inf. Process. ![In: ACM Trans. Asian Lang. Inf. Process. 5(1), pp. 22-43, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
contextual patterns, text mining, term similarities, biomedical literature |
11 | Oded Goldreich 0001, Madhu Sudan 0001 |
Locally testable codes and PCPs of almost-linear length. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 53(4), pp. 558-655, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
error-correcting codes, derandomization, probabilistically checkable proofs, Proof verification |
11 | Dale Jacquette |
Propositions, Sets, and Worlds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 82(3), pp. 337-343, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Abstract entity, Jubien, Michael, logically possible world, modal actualism, modal (platonic) realism, ontological commitment, ontology, modal logic, set, proposition |
11 | Antoine Miné |
The octagon abstract domain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
High. Order Symb. Comput. ![In: High. Order Symb. Comput. 19(1), pp. 31-100, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Numerical abstract domains, Relational numerical invariants, Static analysis, Abstract interpretation |
11 | Ian Cloete, Jacobus van Zyl |
Fuzzy rule induction in a set covering framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 14(1), pp. 93-110, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Andreas Alexander Albrecht |
A Stopping Criterion for Logarithmic Simulated Annealing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 78(1), pp. 55-79, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
simulated annealing, Markov chains, convergence analysis, Search methods |
11 | Domenico Cantone, Calogero G. Zarba |
A Decision Procedure for Monotone Functions over Bounded and Complete Lattices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory and Applications of Relational Structures as Knowledge Instruments ![In: Theory and Applications of Relational Structures as Knowledge Instruments II, International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers, pp. 318-333, 2006, Springer, 3-540-69223-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Clark W. Barrett, Robert Nieuwenhuis, Albert Oliveras, Cesare Tinelli |
Splitting on Demand in SAT Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 512-526, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Khalil Djelloul, Thi-Bich-Hanh Dao |
Solving first-order constraints in the theory of finite or infinite trees: introduction to the decomposable theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 7-14, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
complete theory, first-order constraints, theory of trees, two partners games, rewriting rules |
11 | Ieva Mitasiunaite, Jean-François Boulicaut |
Looking for monotonicity properties of a similarity constraint on sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), Dijon, France, April 23-27, 2006, pp. 546-552, 2006, ACM, 1-59593-108-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Alexis Maciel, Toniann Pitassi |
Conditional Lower Bound for a System of Constant-Depth Proofs with Modular Connectives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, WA, USA, Proceedings, pp. 189-200, 2006, IEEE Computer Society, 0-7695-2631-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Georgiana Puscasu, Patricio Martínez-Barco, Estela Saquete |
On the Identification of Temporal Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2006: Advances in Artificial Intelligence, 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings, pp. 911-921, 2006, Springer, 3-540-49026-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Vinit A. Ogale, Vijay K. Garg |
Brief Announcement: Many Slices Are Better Than One. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 20th International Symposium, DISC 2006, Stockholm, Sweden, September 18-20, 2006, Proceedings, pp. 548-550, 2006, Springer, 3-540-44624-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Hossein M. Sheini, Karem A. Sakallah |
A Progressive Simplifier for Satisfiability Modulo Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAT ![In: Theory and Applications of Satisfiability Testing - SAT 2006, 9th International Conference, Seattle, WA, USA, August 12-15, 2006, Proceedings, pp. 184-197, 2006, Springer, 3-540-37206-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Hans A. Kestler, Wolfgang Lindner 0002, André Müller |
Learning and Feature Selection Using the Set Covering Machine with Data-Dependent Rays on Gene Expression Profiles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANNPR ![In: Artificial Neural Networks in Pattern Recognition, Second IAPR Workshop, ANNPR 2006, Ulm, Germany, August 31-September 2, 2006, Proceedings, pp. 286-297, 2006, Springer, 3-540-37951-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Filip Karel |
Quantitative and Ordinal Association Rules Mining (QAR Mining). ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (1) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 10th International Conference, KES 2006, Bournemouth, UK, October 9-11, 2006, Proceedings, Part I, pp. 195-202, 2006, Springer, 3-540-46535-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
ordinal attributes, association rules, quantitative attributes |
11 | Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli |
Deciding Extensions of the Theory of Arrays by Integrating Decision Procedures and Instantiation Strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, pp. 177-189, 2006, Springer, 3-540-39625-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Yingxu Wang 0001 |
The OAR Model for Knowledge Representation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCECE ![In: Proceedings of the Canadian Conference on Electrical and Computer Engineering, CCECE 2006, May 7-10, 2006, Ottawa Congress Centre, Ottawa, Canada, pp. 1727-1730, 2006, IEEE, 1-4244-0038-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Antony Galton |
Causal Reasoning for Alert Generation in Smart Homes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Designing Smart Homes ![In: Designing Smart Homes, The Role of Artificial Intelligence, pp. 57-70, 2006, Springer, 3-540-35994-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Peng Wang 0004, Baowen Xu, Jianjiang Lu, Dazhou Kang, Jin Zhou |
Mapping Ontology Relations: An Approach Based on Best Approximations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWeb ![In: Frontiers of WWW Research and Development - APWeb 2006, 8th Asia-Pacific Web Conference, Harbin, China, January 16-18, 2006, Proceedings, pp. 930-936, 2006, Springer, 3-540-31142-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | Yannis Tzitzikas |
Revising Faceted Taxonomies and CTCA Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SETN ![In: Advances in Artificial Intelligence, 4th Helenic Conference on AI, SETN 2006, Heraklion, Crete, Greece, May 18-20, 2006, Proceedings, pp. 600-604, 2006, Springer, 3-540-34117-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
11 | K. Subramani 0001 |
Tractable Fragments of Presburger Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 38(5), pp. 647-668, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyratos |
Compound Term Composition Algebra: The Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Data Semantics ![In: Journal on Data Semantics II, pp. 58-84, 2005, Springer, 3-540-24208-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Faceted Taxonomies, Semantics, Description Logics |
11 | Koen Maes, Bernard De Baets |
Facts and figures on fuzzified normal forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 13(3), pp. 394-404, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
11 | Christian Schulte 0001, Peter J. Stuckey |
When do bounds and domain propagation lead to the same search space? ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 27(3), pp. 388-425, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Constraint (logic) programming, bounds propagation, domain propagation, program analysis, abstract interpretation, finite domain constraints |
11 | Arvind Narayanan, Vitaly Shmatikov |
Obfuscated databases and group privacy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 12th ACM Conference on Computer and Communications Security, CCS 2005, Alexandria, VA, USA, November 7-11, 2005, pp. 102-111, 2005, ACM, 1-59593-226-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
obfuscation, database privacy |