Department of Computer Science

Filter
Conference contribution

Search results

  • 1998

    Models and motion planning

    De Berg, M., Katz, M. J., Overmars, M., Frank Van Der Stappen, A. & Vleugels, J., 1 Jan 1998, Algorithm Theory — SWAT 1998 - 6th Scandinavian Workshop on Algorithm Theory, Proceedings. Arnborg, S. & Ivansson, L. (eds.). Springer Verlag, p. 83-94 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1432).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Non-preemptive real-time scheduling of multimedia tasks

    Dolev, S. & Keizelman, A., 1 Jan 1998, Proceedings - 3rd IEEE Symposium on Computers and Communications, ISCC 1998. Institute of Electrical and Electronics Engineers, p. 652-656 5 p. 702617. (Proceedings - 3rd IEEE Symposium on Computers and Communications, ISCC 1998).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Structured Reachability Analysis for Markov Decision Processes

    Boutilier, C., Brafman, R. I. & Geib, C. W., 1998, UAI '98: Proceedings of the Fourteenth Conference on Uncertainty in Artificial Intelligence, University of Wisconsin Business School, Madison, Wisconsin, USA, July 24-26, 1998. Cooper, G. F. & Moral, S. (eds.). Morgan Kaufmann Publishers, Inc., p. 24-32 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Summarization evaluation methods: Experiments and analysis

    Jing, H., Barzilay, R., McKeown, K. & Elhadad, M., 1998, AAAI symposium on intelligent summarization. AAAI press, p. 51-59 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • The boolean logic of set sharing analysis

    Codish, M. & Søndergaard, H., 1 Jan 1998, Principles of Declarative Programming - 10th International Symposium, PLILP 1998 with 6th International Conference, ALP 1998, Proceedings. Palamidessi, C., Glaser, H. & Meinke, K. (eds.). Springer Verlag, p. 89-101 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1490).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Transient Fault Detectors

    Beauquier, J., Delaët, S., Dolev, S. & Tixeuil, S., 1 Jan 1998, Distributed Computing - 12th International Symposium, DISC 1998, Proceedings. Kutten, S. (ed.). Springer Verlag, p. 62-74 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1499).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    15 Scopus citations
  • 1997

    An algebraic approach to sharing analysis of logic programs

    Codish, M., Lagoon, V. & Bueno, F., 1 Jan 1997, Static Analysis - 4th International Symposium, SAS 1997. Van Hentenryck, P. (ed.). Springer Verlag, p. 68-82 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1302 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • A semantic basis for termination analysis of logic programs and its realization using symbolic norm constraints

    Codish, M. & Taboch, C., 1 Jan 1997, Algebraic and Logic Programming - 6th International Joint Conference ALP 1997 ― HOA 1997, Proceedings. Meinke, K., Hanus, M. & Heering, J. (eds.). Springer Verlag, p. 31-45 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1298).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    15 Scopus citations

  • Dynamic data structures for fat objects and their applications

    Efrat, A., Katz, M. J., Nielsen, F. & Sharir, M., 1 Jan 1997, Algorithms and Data Structures - 5th International Workshop, WADS 1997, Proceedings. Dehne, F., Sack, J.-R., Rau-Chaplin, A. & Tamassia, R. (eds.). Springer Verlag, p. 297-306 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1272).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    15 Scopus citations

  • Efficient anonymous multicast and reception

    Dolev, S. & Ostrovsky, R., 1 Jan 1997, Advances in Cryptology — CRYPTO 1997 - 17th Annual International Cryptology Conference, Proceedings. Kaliski , B. S. (ed.). Springer Verlag, p. 395-409 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1294).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    5 Scopus citations

  • Efficient Goal Directed Bottom-up Evaluation of Logic Programs

    Codish, M., 1997, Logic Programming, Proceedings of the Fourteenth International Conference on Logic Programming, Leuven, Belgium, July 8-11, 1997. Naish, L. (ed.). MIT Press Journals, p. 422 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Geometric applications of posets

    Segal, M. & Kedem, K., 1 Jan 1997, Algorithms and Data Structures - 5th International Workshop, WADS 1997, Proceedings. Dehne, F., Sack, J.-R., Rau-Chaplin, A. & Tamassia, R. (eds.). Springer Verlag, p. 402-415 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1272).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Stabilizing in the Presence of Faults, The Digital Clock Synchronization Case

    Dolev, S., 1997, OPODIS. p. 285-292

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Using Lexical Chains for Text Summarization

    Elhadad, M. & Barzilay, R., 1997, Intelligent Scalable Text Summarization: Workshop held at ACL 1997. Madrid: Association for Computational Linguistics (ACL), p. 10-17 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • XSB as the Natural Habitat for General Purpose Program Analysis

    Codish, M., Demoen, B. & Sagonas, K., 1997, Logic Programming, Proceedings of the 14th International Conference on Logic Programming. Naish, L. (ed.). MIT Press Journals, p. 416 1 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1996

    Algorithms for Solving Distributed Constraint Satisfaction Problems (DCSPs)

    Solotorevsky, G. & Gudes, E., 1 Jan 1996, Proceedings of the 3rd Artificial Intelligence Planning Systems Conference, AIPS 1996. AAAI press, p. 191-198 8 p. (Proceedings of the 3rd Artificial Intelligence Planning Systems Conference, AIPS 1996).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • An Overview of SURGE: a Reusable Comprehensive Syntactic Realization Component

    Elhadad, M. & Robin, J., 1996, Eighth International Natural Language Generation Workshop, INLG 1996, Herstmonceux Castle, Sussex, UK, June 12-15, 1996 - Posters and Demonstrations. Association for Computational Linguistics (ACL)

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Automatic jazz accompaniment computation:An open advice-based approach

    Balaban, M. & Irish, S., 1 Jan 1996, Proceedings of the 7th Israeli Conference on Computer Systems and Software Engineering, ICCSSE 1996. Institute of Electrical and Electronics Engineers, p. 67-76 10 p. 554850. (Proceedings of the 7th Israeli Conference on Computer Systems and Software Engineering, ICCSSE 1996).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • Employee timetabling, constraint networks and knowledge-based rules: A mixed approach

    Meisels, A., Gudes, E. & Solotorevsky, G., 1 Jan 1996, Practice and Theory of Automated Timetabling - 1st International Conference, 1995, Selected Papers. Ross, P. & Burke, E. (eds.). Springer Verlag, p. 93-105 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1153).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    13 Scopus citations

  • Modeling and solving distributed constraint satisfaction problems (DCSPs)

    Solotorevsky, G., Gudes, E. & Meisels, A., 1 Jan 1996, Principles and Practice of Constraint Programming ― CP 1996 - 2nd International Conference, CP 1996, Proceedings. Freuder, E. C. (ed.). Springer Verlag, p. 561-562 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1118).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    17 Scopus citations

  • Sample-and-accumulate algorithms for belief updating in Bayes networks

    Santos, E., Williams, E. & Shimony, E. S., 1996, Proceedings of the Twelfth Conference on Uncertainty in Artificial Intelligence (UAI1996). p. 477-484

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Sharing Analysis for Logic Programs using Set Logic Programs

    Codish, M., Lagoon, V. & Bueno, F., 1996, 1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96, Donostia-San Sebastian, Spain, July 15-18, 1996. Lucio, P., Martelli, M. & Navarro, M. (eds.). p. 29-40 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • "Statistical" First Order Conditionals

    Brafman, R. I., 1996, Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts, USA, November 5-8, 1996. Aiello, L. C., Doyle, J. & Shapiro, S. C. (eds.). Morgan Kaufmann Publishers, Inc., p. 398-409 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Type Dependencies for Logic Programs Using ACI-Unification

    Codish, M. & Lagoon, V., 1996, Fourth Israel Symposium on Theory of Computing and Systems, ISTCS 1996, Jerusalem, Israel, June 10-12, 1996, Proceedings. Institute of Electrical and Electronics Engineers, p. 136-145 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 1995

    Geometric pattern matching in d-dimensional space

    Chew, L. P., Dor, D., Efrat, A. & Kedem, K., 1 Jan 1995, Algorithms - ESA 1995 - 3rd Annual European Symposium, Proceedings. Spirakis, P. (ed.). Springer Verlag, p. 264-279 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 979).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    10 Scopus citations

  • Knowledge Considerations in Robotics and Distribution of Robotic Tasks

    Brafman, R. I. & Shoham, Y., 1995, Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, IJCAI 95, Montréal Québec, Canada, August 20-25 1995, 2 Volumes. Morgan Kaufmann Publishers, Inc., p. 96-102 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • On some geometric selection and optimization problems via sorted matrices

    Glozman, A., Kedem, K. & Shpitalnik, G., 1 Jan 1995, Algorithms and Data Structures - 4th International Workshop, WADS 1995, Proceedings. Akl, S. G., Dehne, F., Sack, J.-R. & Santoro, N. (eds.). Springer Verlag, p. 26-37 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 955).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    13 Scopus citations

  • Voronoi diagrams of lines in 3-space under polyhedral convex distance functions

    Chew, L. P., Kedem, K., Sharir, M., Tagansky, B. & Welzin, E., 22 Jan 1995, Proceedings of the 6th Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 1995. Association for Computing Machinery, p. 197-204 8 p. (Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    15 Scopus citations
  • 1994

    Belief Ascription and Mental-Level Modelling

    Brafman, R. I. & Tennenholtz, M., 1994, Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, Germany, May 24-27, 1994. Doyle, J., Sandewall, E. & Torasso, P. (eds.). Morgan Kaufmann Publishers, Inc., p. 87-98 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Belief Updating by Enumerating High-Probability Independence-Based Assignments

    Santos, E. & Shimony, E. S., 1994, Uncertainty Proceedings 1994. Mantaras, R. L. D. & Poole, D. (eds.). Morgan Kaufmann Publishers, Inc., p. 506-513

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop

    Codish, M. & Demoen, B., 1994, 1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1. Alpuente, M., Barbuti, R. & Ramos, I. (eds.). p. 327-341 15 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Deriving Polymorphic Type Dependencies for Logic Programs Using Multiple Incarnations of Prop

    Codish, M. & Demoen, B., 1994, ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994. Boer, F. S. D. & Gabbrielli, M. (eds.).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Goal dependent vs. Goal independent analysis of logic programs

    Codish, M., García de la Bands, M., Bruynooghc, M. & Hermenegildo, M., 1 Jan 1994, Logic Programming and Automated Reasoning - 5th International Conference, LPAR 1994, Proceedings. Pfenning, F. (ed.). Springer Verlag, p. 305-319 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 822 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Knowledge as a Tool in Motion Planning and Uncertainty

    Brafman, R. I., Latombe, J.-C., Moses, Y. & Shoham, Y., 1994, Proceedings of the 5th Conference on Theoretical Aspects of Reasoning about Knowledge, Pacific Grove, CA, USA, March 1994. Fagin, R. (ed.). Morgan Kaufmann Publishers, Inc., p. 208-224 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Non-uniform cellular automata: Evolution in rule space and formation of complex structures

    Sipper, M., 1994, Artificial Life IV. Brooks, R. A. & Maes, P. (eds.). The MIT Press, Vol. 2. p. 394-399 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Proving implications by algebraic approximation

    Codish, M. & Mashevitzky, G., 1 Jan 1994, Algebraic and Logic Programming - 4th International Conference, ALP 1994, Proceedings. Levi, G. & Rodriguez-Artalejo, M. (eds.). Springer Verlag, p. 6-22 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 850 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations
  • 1993

    Analysing Logic Programs Using 'Prop'-ositional Logic Programs and a Magic Wand

    Codish, M. & Demoen, B., 1993, Logic Programming, Proceedings of the 1993 International Symposium, Vancouver, British Columbia, Canada, October 26-29, 1993. Miller, D. (ed.). MIT Press Journals, p. 114-129 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A probabilistic spatial data model

    Kornatzky, Y. & Shimony, S. E., 1 Jan 1993, Database and Expert Systems Applications - 4th International Conference, DEXA 1993, Proceedings. Marik, V., Lazansky, J. & Wagner, R. R. (eds.). Springer Verlag, p. 337-348 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 720 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Freeness, Sharing, linearity and correctness- all at once

    Bruynooghe, M. & Codish, M., 1 Jan 1993, Static Analysis - 3rd International Workshop, WSA '93, Proceedings. Cousot, P., Falaschi, M., File, G. & Rauzy, A. (eds.). Springer Verlag, p. 153-164 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 724 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    13 Scopus citations

  • Freeness Analysis for Logic Programs - And Correctness?

    Codish, M., Dams, D., Filé, G. & Bruynooghe, M., 1993, Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993. Warren, D. S. (ed.). MIT Press Journals, p. 116-131 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Freeness Analysis in the Presence of Numerical Constraints

    Dumortier, V., Janssens, G., Bruynooghe, M. & Codish, M., 1993, Logic Programming, Proceedings of the Tenth International Conference on Logic Programming, Budapest, Hungary, June 21-25, 1993. Warren, D. S. (ed.). MIT Press Journals, p. 100-115 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Generating argumentative judgment determiners

    Elhadad, M., 1 Dec 1993, Proceedings of the National Conference on Artificial Intelligence. Publ by AAAI, p. 344-349 6 p. (Proceedings of the National Conference on Artificial Intelligence).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations
  • 1992

    Efficient Analysis of Reactive Properties of Concurrent Constraint Logic Programs

    Codish, M., Falaschi, M., Marriott, K. & Winsborough, W. H., 1992, Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September 1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI), Proceedings. Billaud, M., Castéran, P., Corsini, M.-M., Musumbu, K. & Rauzy, A. (eds.). Atelier Irisa, IRISA, Campus de Beaulieu, Vol. 81-82. p. 35-42 8 p. (Series Bigre).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Generating Coherent Argumentative Paragraphs

    Elhadad, M., 1992, 14th International Conference on Computational Linguistics, COLING 1992, Nantes, France, August 23-28, 1992. Association for Computational Linguistics (ACL), p. 638-644 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • On the limitation of the global time assumption in distributed systems

    Abraham, U., Ben-David, S. & Moran, S., 1 Jan 1992, Distributed Algorithms - 5th International Workshop, WDAG 1991, Proceedings. Spirakis, P. G., Kirousis, L. & Toueg, S. (eds.). Springer Verlag, p. 1-8 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 579 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations
  • 1991

    Expert systems based methodology for solving resource allocation problems

    Gudes, E., Kuflik, T. & Meisels, A., 1 Jan 1991, Proceedings of the 3rd International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems. Anon (ed.). Publ by ACM, p. 309-317 9 p. (Proceedings of the 3rd International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Generating customized text and graphics in the COMET explanation testbed

    Elhadad, M., Feiner, S., McKeown, K. & Seligmann, D., 1 Dec 1991, Winter Simulation Conference Proceedings. Institute of Electrical and Electronics Engineers, p. 1058-1065 8 p. (Winter Simulation Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • On the exponent of the all pairs shortest path problem

    Alon, N., Galil, Z. & Margalit, O., 1 Dec 1991, Annual Symposium on Foundations of Computer Science (Proceedings). Institute of Electrical and Electronics Engineers, p. 569-575 7 p. (Annual Symposium on Foundations of Computer Science (Proceedings)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    43 Scopus citations

  • Specifying resource allocation and time-tabling problems using a rule-based language

    Solotorevsky, G., Gudes, E. & Meisels, A., 1 Dec 1991, Israel Conference on Computer Systems and Software Engineering. Institute of Electrical and Electronics Engineers, p. 20-28 9 p. (Israel Conference on Computer Systems and Software Engineering).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations
  • 1990

    2-DIMENSIONAL CONFORMAL FIELD-THEORY, DUALITY AND MAC LANE COHERENCE

    BRUSTEIN, R., NEEMAN, Y. & STERNBERG, S., 1990, SYMP/WORKSHOP ON FIELDS, STRINGS AND QUANTUM GRAVITY. Vol. 6. p. 151-173

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review