Filter
Conference contribution

Search results

  • 2005

    Resolving perceptual aliasing in the presence of noisy sensors

    Brafman, R. I. & Shani, G., 1 Jan 2005, Advances in Neural Information Processing Systems 17 - Proceedings of the 2004 Conference, NIPS 2004. Neural information processing systems foundation, (Advances in Neural Information Processing Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • RNAMute: RNA secondary structure mutation analysis tool

    Churkin, A., Elgad, O., Petgho, O. & Barash, D., 1 Dec 2005, 2005 IEEE Computational Systems Bioinformatics Conference, Workshops and Poster Abstracts. p. 139-140 2 p. 1540574. (2005 IEEE Computational Systems Bioinformatics Conference, Workshops and Poster Abstracts).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • Self-stabilization preserving compiler

    Dolev, S., Haviv, Y. & Sagiv, M., 1 Dec 2005, Self-Stabilizing Systems - 7th International Symposium, SSS 2005, Proceedings. p. 81-95 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3764 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • Self-stabilizing mobile node location management and message routing

    Dolev, S., Lahiani, L., Lynch, N. & Nolte, T., 1 Dec 2005, Self-Stabilizing Systems - 7th International Symposium, SSS 2005, Proceedings. p. 96-112 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3764 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    9 Scopus citations
  • Self-stabilizing operating systems

    Dolev, S. & Yagel, R., 1 Dec 2005, Proceedings of the 20th ACM Symposium on Operating Systems Principles, SOSP 2005. (Proceedings of the 20th ACM Symposium on Operating Systems Principles, SOSP 2005).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • Temperature and mutation switches in the secondary structure of small RNAs

    Avihoo, A. & Barash, D., 1 Dec 2005, 2005 IEEE Computational Systems Bioinformatics Conference, Workshops and Poster Abstracts. p. 235-238 4 p. 1540612. (2005 IEEE Computational Systems Bioinformatics Conference, Workshops and Poster Abstracts).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • The minimum area spanning tree problem

    Carmi, P. & Katz, M. J., 2005, Proceedings of the 21st European Workshop on Computational Geometry, Eindhoven, The Netherlands, March 9-11, 2005. Technische Universiteit Eindhoven, p. 191-194 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Timed virtual stationary automata for mobile networks

    Dolev, S., Lahiani, L., Gilbert, S., Lynch, N. & Nolte, T., 1 Jan 2005, 43rd Annual Allerton Conference on Communication, Control and Computing 2005. University of Illinois at Urbana-Champaign, Coordinated Science Laboratory and Department of Computer and Electrical Engineering, p. 1717-1726 10 p. (43rd Annual Allerton Conference on Communication, Control and Computing 2005; vol. 4).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Two-anticoloring of planar and related graphs

    Berend, D., Korach, E. & Zucker, S., Jan 2005, 2005 In-ternational Conference on Analysis of Algorithms, . Martínez, C. (ed.). Barcelona: DMTCS, p. 335-342

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • 2004

    Abbreviation expansion in schema matching and Web integration

    Ratinov, L. & Gudes, E., 1 Dec 2004, Proceedings - IEEE/WIC/ACM International Conference on Web Intelligence, WI 2004. Zhong, N., Tirri, H., Yao, Y. & Zhou, L. (eds.). p. 485-490 6 p. (Proceedings - IEEE/WIC/ACM International Conference on Web Intelligence, WI 2004).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    13 Scopus citations
  • Adapting existing BKB structures using new data

    Hildeshaim, T. & Shimony, S. E., 1 Dec 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004. p. 1383-1387 5 p. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Approximating the visible region of a point on a terrain

    Ben-Moshe, B., Carmi, P. & Katz, M. J., 22 Nov 2004, Proceedings of the Sixth Workshop on Algorithm Engineering and Experiments and the First Workshop on Analytic Algoritms and Combinatorics. Arge, L., Italiano, G. F. & Sedgewick, R. (eds.). p. 120-128 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    4 Scopus citations
  • A quantitative approach to reductions in secure computation

    Beimel, A. & Malkin, T., 1 Jan 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Naor, M. (ed.). Springer Verlag, p. 238-257 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2951).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    18 Scopus citations
  • Brief announcement: polygonal broadcast, secret maturity and the firing sensors

    Dolev, S., Herman, T. & Lahiani, L., Jun 2004, Proceedings of the Twenty-Third Annual ACM Symposium on Principles of Distributed Computing, PODC 2004, St. John's, Newfoundland, Canada, July 25-28, 2004. Chaudhuri, S. & Kutten, S. (eds.). ACM, p. 391 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Brief announcement: RT oblivious erasure correcting

    Beimel, A., Dolev, S. & Singer, N., Jun 2004, PODC '04: Proceedings of the twenty-third annual ACM symposium on Principles of distributed computing. Association for Computing Machinery, p. 393 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Classification of Hebrew Calligraphic Handwriting Styles: Preliminary Results

    Yosef, I. B., Kedem, K., Dinstein, I., Belt-Arie, M. & Engel, E., 4 May 2004, Proceedings First International Workshop on Document Image Analysis for Libraries - DIAL 2004. p. 299-305 7 p. (Proceedings - First International Workshop on Document Image Analysis for Libraries - DIAL 2004).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    32 Scopus citations
  • Collaborative privacy preserving frequent item set mining in vertically partitioned databases

    Gudes, E. & Rozenberg, B., 1 Jan 2004, Data and Applications Security XVII: Status and Prospects - IFIP TC11 / WG11.3 17th Annual Working Conference on Data and Applications Security. Springer New York LLC, p. 91-104 14 p. (IFIP Advances in Information and Communication Technology; vol. 142).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • Concurrent backtrack search on DisCSPs

    Zivan, R. & Meisels, A., 17 Dec 2004, Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2004. Barr, V. & Markov, Z. (eds.). p. 776-781 6 p. (Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2004; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • Conformant planning via heuristic forward search: A new approach

    Brafman, R. I. & Hoffmann, J., 1 Dec 2004, Proceedings of the 14th International Conference on Automated Planning and Scheduling, ICAPS 2004. Zilberstein, S., Koehler, J. & Koenig, S. (eds.). p. 355-364 10 p. (Proceedings of the 14th International Conference on Automated Planning and Scheduling, ICAPS 2004).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    75 Scopus citations
  • Diagonally subgraphs pattern mining

    Cohen, M. & Gudes, E., 1 Dec 2004, Workshop Proceedings - The 9th Workshop on Research Issues in Data Mining and Knowledge Discovery, DMKD 2004, In Conjunction with ACM SIGMOD International Conference on Management of Data, SIGMOD-04. p. 51-58 8 p. (Proceedings of the ACM SIGMOD International Conference on Management of Data).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    9 Scopus citations
  • Discovery of Context-Specific Markov Blankets

    Klein, A. & Shimony, S. E., 1 Dec 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004. p. 3833-3838 6 p. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; vol. 4).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    2 Scopus citations
  • Fine-grain matrix graph representation for predicting mutations leading to conformational rearrangements in small RNAs

    Avihoo, A., Dromi, N. & Barash, D., 1 Dec 2004, Proceedings - 2004 IEEE Computational Systems Bioinformatics Conference, CSB 2004. p. 724-725 2 p. (Proceedings - 2004 IEEE Computational Systems Bioinformatics Conference, CSB 2004).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Generalized model for rational game tree search

    Radovilsky, Y. & Shimony, S. E., 1 Dec 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004. p. 1261-1266 6 p. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; vol. 2).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • HyperTree for self-stabilizing peer-to-peer systems

    Dolev, S. & Kat, R. I., 1 Dec 2004, Proceedings - Third IEEE International Symposium on Network Computing and Applications, NCA 2004. p. 25-32 8 p. (Proceedings - Third IEEE International Symposium on Network Computing and Applications, NCA 2004).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    10 Scopus citations
  • Information flow analysis for file systems and databases using labels

    Gudes, E., Mancini, L. V. & Parisi-Presicce, F., 1 Jan 2004, Research Directions in Data and Applications Security XVIII - IFIP TC11/WG11.3 18th Annual Conference on Data and Applications Security. Springer New York LLC, p. 125-141 17 p. (IFIP Advances in Information and Communication Technology; vol. 144).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Lipidia: An Artificial Chemistry of Self-Replicating Assemblies of Lipid-like Molecules

    Naveh, B., Sipper, M., Lancet, D. & Shenhav, B., 2004, Artificial Life IX: Proceedings of the Ninth International Conference on the Simulation and Synthesis of Artificial Life. Pollack, J., Bedau, M., Husbands, P., Ikegami, T. & Watson, R. A. (eds.). Vol. 9. p. 466-471

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Meanshift clustering for DNA microarray analysis

    Barash, D. & Comaniciu, D., 1 Dec 2004, Proceedings - 2004 IEEE Computational Systems Bioinformatics Conference, CSB 2004. p. 578-579 2 p. (Proceedings - 2004 IEEE Computational Systems Bioinformatics Conference, CSB 2004).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    13 Scopus citations
  • Probabilistic model for schema understanding and matching

    Ratino, L. A., Shimony, S. E. & Gudes, E., 1 Dec 2004, 2004 IEEE International Conference on Systems, Man and Cybernetics, SMC 2004. p. 4768-4773 6 p. (Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics; vol. 5).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • RNA motif search using the Structure to String (STR2) method

    Bergig, O., Barash, D. & Kedem, K., 1 Dec 2004, Proceedings - 2004 IEEE Computational Systems Bioinformatics Conference, CSB 2004. p. 660-661 2 p. (Proceedings - 2004 IEEE Computational Systems Bioinformatics Conference, CSB 2004).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • RT oblivious erasure correcting

    Beimel, A., Dolev, S. & Singer, N., 1 Dec 2004, 2004 IEEE Information Theory Workshop - Proceedings, ITW. p. 236-241 6 p. (2004 IEEE Information Theory Workshop - Proceedings, ITW).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    5 Scopus citations
  • Sleeved CoClustering

    Melkman, A. A. & Shaham, E., 1 Jan 2004, KDD-2004 - Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery (ACM), p. 635-640 6 p. (KDD-2004 - Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    13 Scopus citations
  • Toward self-stabilizing operating systems

    Dolev, S. & Yagel, R., 1 Jan 2004, Proceedings - 15th International Workshop on Database and Expert Systems Applications. Institute of Electrical and Electronics Engineers, p. 684-688 5 p. (International Conference on Database and Expert Systems Applications - DEXA; vol. 15).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    18 Scopus citations
  • 2003

    Biomorphs implemented as a data and signals cellular automaton

    Stauffer, A. & Sipper, M., 1 Jan 2003, Advances in Artificial Life. Banzhaf, W., Ziegler, J., Christaller, T., Dittrich, P. & Kim, J. T. (eds.). Springer Verlag, p. 724-732 9 p. (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); vol. 2801).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    3 Scopus citations
  • Chaos and Multifractality in a Time-Delay Car-Following Traffic Model

    Safonov, L. A., Tomer, E., Strygin, V. V., Ashkenazy, Y. & Havlin, S., 2003, Traffic and Granular Flow'01. Fukui, M., Sugiyama, Y., Schreckenberg, M. & Wolf, D. E. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 119-124 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Data and signals: A new kind of cellular automaton for growing systems

    Stauffer, A. & Sipper, M., 1 Jan 2003, Proceedings - 2003 NASA/DoD Conference on Evolvable Hardware. Lohn, J., Zebulum, R., Steincamp, J., Keymeulen, D., Stoica, A. & Ferguson, M. I. (eds.). Institute of Electrical and Electronics Engineers, p. 235-241 7 p. 1217672

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • Efficient learning equilibrium

    Brafman, R. I. & Tennenholtz, M., 1 Jan 2003, Advances in Neural Information Processing Systems 15 - Proceedings of the 2002 Conference, NIPS 2002. Neural information processing systems foundation, (Advances in Neural Information Processing Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    6 Scopus citations
  • Efficient Probabilistic Reasoning in Bayes Nets with Mutual Exclusion and Context Specific Independence

    Domshlak, C. & Shimony, E. S., May 2003, Proceedings of the Sixteenth International Florida Artificial Intelligence Research Society Conference, May 12-14, 2003, St. Augustine, Florida, USA. Russell, I. & Haller, S. M. (eds.). AAAI press, p. 496-500 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Interactive self-replicating, self-incrementing and self-decrementing loops

    Stauffer, A. & Sipper, M., 2003, Artificial Life VIII: Proceedings of the 8th International Conference on the Simulation and Synthesis of Living Systems. Standish, R. K., Bedau, M. A. & Abbass, H. A. (eds.). Cambridge, Massachusetts: The MIT Press, p. 53-56 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Policy and state based secure wrapper and its application to mobile agents

    Binun, A. & Gudes, E., 1 Jan 2003, Proceedings - 1st Latin American Web Congress: Empowering our Web, LA-WEB 2003. Institute of Electrical and Electronics Engineers, p. 14-26 13 p. 1250278. (Proceedings - 1st Latin American Web Congress: Empowering our Web, LA-WEB 2003).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Recommendation as a Stochastic Sequential Decision Problem

    Brafman, R. I., Heckerman, D. & Shani, G., 2003, Proceedings of the Thirteenth International Conference on Automated Planning and Scheduling (ICAPS 2003), June 9-13, 2003, Trento, Italy. Giunchiglia, E., Muscettola, N. & Nau, D. S. (eds.). AAAI press, p. 164-173 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
  • Self-stabilizing autonomic recoverer for eventual Byzantine software

    Brukman, O., Dolev, S. & Kolodner, E. K., 1 Jan 2003, Proceedings - IEEE International Conference on Software- Science, Technology and Engineering, SwSTE 2003. Institute of Electrical and Electronics Engineers, p. 20-29 10 p. 1245312. (Proceedings - IEEE International Conference on Software- Science, Technology and Engineering, SwSTE 2003).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    17 Scopus citations
  • Separating the power of monotone span programs over different fields

    Beimel, A. & Weinreb, E., 1 Jan 2003, Proceedings - 44th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2003. Institute of Electrical and Electronics Engineers, p. 428-437 10 p. 1238216. (Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS; vol. 2003-January).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    Open Access
    1 Scopus citations
  • 2002

    Answering cooperative recursive queries in web federated databases

    Balaban, M., Berezansky, N. & Gudes, E., 1 Jan 2002, Next Generation Information Technologies and Systems - 5th International Workshop, NGITS 2002, Proceedings. Halevy, A. & Gal, A. (eds.). Springer Verlag, p. 14-28 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2382).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Combining norms to prove termination

    Genaim, S., Codish, M., Gallagher, J. & Lagoon, V., 1 Jan 2002, Verification, Model Checking, and Abstract Interpretation - Third International Workshop, VMCAI 2002, Revised Papers. Cortesi, A. (ed.). Springer Verlag, p. 126-138 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2294 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    20 Scopus citations
  • Computing frequent graph patterns from semistructured data

    Vanetik, N., Gudes, E. & Shimony, S. E., 1 Dec 2002, Proceedings - 2002 IEEE International Conference on Data Mining, ICDM 2002. p. 458-465 8 p. (Proceedings - IEEE International Conference on Data Mining, ICDM).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    120 Scopus citations
  • CP-nets: Reasoning and Consistency Testing.

    Domshlak, C. & Brafman, R. I., Apr 2002, Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning. Morgan Kaufmann Publishers, Inc., p. 121-132 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Determining similarity of conformational polymorphs

    Enosh, A., Kedem, K. & Bernstein, J., 1 Jan 2002, Algorithms - ESA 2002 - 10th Annual European Symposium, Proceedings. Möhring, R. & Raman, R. (eds.). Springer Verlag, p. 436-448 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2461).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

  • Discovering associations in XML data

    Meisels, A., Orlov, M. & Maor, T., 1 Jan 2002, WISE 2002 - Proceedings of the 3rd International Conference on Web Information Systems Engineering Workshops. Huang, B., Ling, T. W., Wen, J.-R., Gupta, S. K., Ng, W. K. & Mohania, M. (eds.). Institute of Electrical and Electronics Engineers, p. 178-183 6 p. 1177861. (WISE 2002 - Proceedings of the 3rd International Conference on Web Information Systems Engineering Workshops).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations
  • Efficient Learning Equilibrium

    Brafman, R. I. & Tennenholtz, M., 1 Jan 2002, NIPS 2002: Proceedings of the 15th International Conference on Neural Information Processing Systems. Becker, S., Thrun, S. & Obermayer, K. (eds.). MIT Press Journals, p. 1603-1610 8 p. (NIPS 2002: Proceedings of the 15th International Conference on Neural Information Processing Systems).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    10 Scopus citations
  • Emergence of self-replicating loops in an interactive, hardware-implemented game-of-life environment

    Stauffer, A. & Sipper, M., 26 Sep 2002, Cellular Automata - 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, Proceedings. Bandini, S., Chopard, B. & Tomassini, M. (eds.). Springer Verlag, p. 123-131 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2493 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

    1 Scopus citations