The Rachel and Selim Benin School of Engineering and Computer Science

Filter
Chapter

Search results

  • 2007

    Combinatorial auctions

    Blumrosen, L. & Nisan, N., 1 Jan 2007, Algorithmic Game Theory. Cambridge University Press, Vol. 9780521872829. p. 267-300 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    151 Scopus citations
  • Distributed algorithmic mechanism design

    Feigenbaum, J., Schapira, M. & Shenker, S., 1 Jan 2007, Algorithmic Game Theory. Cambridge University Press, Vol. 9780521872829. p. 363-384 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    35 Scopus citations
  • Graphical Models in a Nutshell

    Koller, D., Friedman, N., Getoor, L. & Taskar, B., 31 Aug 2007, Introduction to Statistical Relational Learning. Getoor, L. & Taskar, B. (eds.). The MIT Press, p. 13-55 43 p. ( Adaptive computation and machine learning).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • Introduction to mechanism design (for computer scientists)

    Nisan, N., 1 Jan 2007, Algorithmic Game Theory. Cambridge University Press, Vol. 9780521872829. p. 209-242 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    Open Access
    249 Scopus citations
  • Principles of computer-aided surgery in trauma surgery

    Weil, Y., Mosheiff, R., Joskowicz, L. & Liebergall, M., 2007, Navigation and MIS in Orthopaedic Surgery. Springer Berlin Heidelberg, p. 476-485 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    6 Scopus citations
  • 2006

    Optical flow estimation

    Fleet, D. & Weiss, Y., 2006, Handbook of Mathematical Models in Computer Vision. Springer US, p. 237-257 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    278 Scopus citations
  • Verification of open systems

    Kupferman, O. & Vardi, M. Y., 2006, Interactive Computation: The New Paradigm. Springer Berlin Heidelberg, p. 97-117 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 2005

    Dynamic Pn to Pn Alignment

    Shashua, A. & Wolf, L., 2005, Handbook of Geometric Computing: Applications in Pattern Recognition, Computer Vision, Neuralcomputing, and Robotics. Corrochano, E. B. (ed.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 349-381 33 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  • 2004

    Büchi complementation made tighter

    Friedgut, E., Kupferman, O. & Vardi, M. Y., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wang, F. (ed.). Springer Verlag, p. 64-78 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3299).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    17 Scopus citations
  • Computationally-feasible truthful auctions for convex bundles

    Babaioff, M. & Blumrosen, L., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jansen, K., Khanna, S., Rolim, J. D. P. & Ron, D. (eds.). Springer Verlag, p. 27-38 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3122).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    5 Scopus citations
  • From complementation to certification

    Kupferman, O. & Vardi, M. Y., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (eds.). Springer Verlag, p. 591-606 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2988).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    Open Access
    23 Scopus citations
  • Graph decomposition lemmas and their role in metric embedding methods

    Bartal, Y., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Albers, S. & Radzik, T. (eds.). Springer Verlag, p. 89-97 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3221).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    47 Scopus citations
  • Linear time byzantine self-stabilizing clock synchronization

    Daliot, A., Dolev, D. & Parnas, H., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Papatriantafilou, M. & Hunel, P. (eds.). Springer Verlag, p. 7-19 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3144).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    5 Scopus citations
  • Object Fusion in Geographic Information Systems

    Beeri, C., Kanza, Y., Safra, E. & Sagiv, Y., 1 Jan 2004, Proceedings 2004 VLDB Conference: The 30th International Conference on Very Large Databases (VLDB). Elsevier, p. 816-827 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    80 Scopus citations
  • Online competitive algorithms for maximizing weighted throughput of unit jobs

    Bartal, Y., Chin, F. Y. L., Chrobak, M., Fung, S. P. Y., Jawor, W., Lavi, R., Sgall, J. & Tichy, T., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Diekert, V. & Habib, M. (eds.). Springer Verlag, p. 187-198 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2996).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    38 Scopus citations
  • Seamless image stitching in the gradient domain

    Levin, A., Zomet, A., Peleg, S. & Weiss, Y., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Pajdla, T. & Matas, J. (eds.). Springer Verlag, p. 377-389 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3024).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    361 Scopus citations
  • Typeness for ω-regular automata

    Kupferman, O., Morgenstern, G. & Murano, A., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wang, F. (ed.). Springer Verlag, p. 324-338 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3299).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    17 Scopus citations
  • 2003

    Accounting mechanism for membership size-dependent pricing of multicast traffic

    Breitgand, D., Dolev, D. & Raz, D., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Stiller, B., Carle, G., Karsten, M., Reichl, P., Stiller, B. & Carle, G. (eds.). Springer Verlag, p. 276-286 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2816).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    5 Scopus citations
  • All points considered: A maximum likelihood method for motion recovery

    Keren, D., Shimshoni, I., Goshen, L. & Werman, M., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Asano, T., Klette, R. & Ronse, C. (eds.). Springer Verlag, p. 72-85 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2616).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    3 Scopus citations
  • Backfilling with lookahead to optimize the performance of parallel job scheduling

    Shmueli, E. & Feitelson, D. G., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Feitelson, D., Rudolph, L. & Schwiegelshohn, U. (eds.). Springer Verlag, p. 228-251 24 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2862).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    47 Scopus citations
  • Computational analogues of entropy

    Barak, B., Shaltiel, R. & Wigderson, A., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Asora, S., Sahai, A., Jansen, K. & Rolim, J. D. P. (eds.). Springer Verlag, p. 200-215 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2764).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    79 Scopus citations
  • Containment of aggregate queries

    Cohen, S., Nutt, W. & Sagiv, Y., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Calvanese, D., Lenzerini, M. & Motwani, R. (eds.). Springer Verlag, p. 111-125 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2572).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    26 Scopus citations
  • Coverage metrics for formal verification

    Chockler, H., Kupferman, O. & Vardi, M. Y., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Geist, D. & Tronci, E. (eds.). Springer Verlag, p. 111-125 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2860).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    Open Access
    51 Scopus citations
  • Generating relations from XML documents

    Cohen, S., Kanza, Y. & Sagiv, Y., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Calvanese, D., Lenzerini, M. & Motwani, R. (eds.). Springer Verlag, p. 285-299 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2572).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    6 Scopus citations
  • Multi-player and multi-round auctions with severely bounded communication

    Blumrosen, L., Nisan, N. & Segal, I., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). di Battista, G. & Zwick, U. (eds.). Springer Verlag, p. 102-113 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2832).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    3 Scopus citations
  • On complementing nondeterministic Büchi automata

    Gurumurthy, S., Kupferman, O., Somenzi, F. & Vardi, M. Y., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Geist, D. & Tronci, E. (eds.). Springer Verlag, p. 96-110 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2860).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    Open Access
    43 Scopus citations
  • Parallel job scheduling under dynamic workloads

    Frachtenberg, E., Feitelson, D. G., Fernandez, J. & Petrini, F., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Feitelson, D., Rudolph, L. & Schwiegelshohn, U. (eds.). Springer Verlag, p. 208-227 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2862).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    15 Scopus citations
  • Resets vs. aborts in linear temporal logic

    Armoni, R., Bustan, D., Kupferman, O. & Vardi, M. Y., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Garavel, H. & Hatcliff, J. (eds.). Springer Verlag, p. 65-80 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2619).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    Open Access
    24 Scopus citations
  • Self-stabilizing pulse synchronization inspired by biological pacemaker networks

    Daliot, A., Dolev, D. & Parnas, H., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Huang, S.-T. & Herman, T. (eds.). Springer Verlag, p. 32-48 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2704).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    29 Scopus citations
  • XSEarch: A Semantic Search Engine for XML

    Cohen, S., Mamou, J., Kanza, Y. & Sagiv, Y., 1 Jan 2003, Proceedings 2003 VLDB Conference: 29th International Conference on Very Large Databases (VLDB). Elsevier, p. 45-56 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    401 Scopus citations
  • Zigzag products, expander constructions, connections, and applications

    Wigderson, A., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Pandya, P. K. & Radhakrishnan, J. (eds.). Springer Verlag, p. 443 1 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2914).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Π2 ∩ Σ2 ≡ AFMC

    Kupferman, O. & Vardi, M. Y., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Baeten, J. C. M., Lenstra, J. K., Parrow, J. & Woeginger, G. J. (eds.). Springer Verlag, p. 697-713 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2719).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    9 Scopus citations
  • 2002

    Data mining tasks and methods: Classification: Bayesian classification

    Friedman, N. & Kohavi, R., 2002, Handbook of Data Mining and Knowledge Discovery. Klösgen, W. & Żytkow, J. M. (eds.). USA: Oxford University Press, Inc., p. 282–288 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 2001

    Learning Probabilistic Relational Models

    Getoor, L., Friedman, N., Koller, D. & Pfeffer, A., 2001, Relational Data Mining. Džeroski, S. & Lavrač, N. (eds.). Berlin, Heidelberg: Springer Berlin Heidelberg, p. 307-335 29 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • The vesta parallel file system

    Corbett, P. F. & Feitelson, D. G., 1 Jan 2001, High Performance Mass Storage and Parallel I/O: Technologies and Applications. Wiley-IEEE Press, p. 285-308 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    7 Scopus citations
  • XML, hyper-media, and fortran I/O

    Feitelson, D. G. & Klainer, T., 1 Jan 2001, High Performance Mass Storage and Parallel I/O: Technologies and Applications. Wiley-IEEE Press, p. 633-644 12 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 1998

    Discrete G1 assembly of patches over irregular meshes

    Matskewich, T., Volpin, O. & Bercovier, M., 1998, Mathematical methods for curves and surfaces, II (Lillehammer, 1997). Vanderbilt University Press, p. 351-358 8 p. (Innovations in applied mathematics).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Learning Bayesian Networks with Local Structure

    Friedman, N. & Goldszmidt, M., 1998, Learning in Graphical Models. Jordan, M. I. (ed.). Dordrecht: Springer Netherlands, p. 421-459 39 p. (NATO ASI series. Series D, Behavioural and social sciences; vol. 89).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Optimal approximation of derivatives: an application of the mixed finite element method

    Bercovier, M., 1998, Équations aux dérivées partielles et applications. Gauthier-Villars, p. 151-164 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 1997

    Breps as Displayable-Selectable Models in Interactive Design of Families of Geometric Objects.

    Rappoport, A., 1997, Geometric Modeling: Theory and Practice: The State of the Art. Springer Verlag, p. 206-225 20 p. (Focus on Computer Graphics).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 1996

    On the trace of incompatible vectors

    Aharoni, R., Linial, N. & Meshulam, R., 1996, Congressus numerantium. Vol. 113. p. 15-18 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 1994

    Converting Rectangular Patches into Bézier Triangles

    Lischinski, D., 1994, Graphics Gems. Vol. IV. p. 278-285 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Incremental Delaunay Triangulation

    Lischinski, D., 1994, Graphics Gems. Elsevier/Academic Press, Vol. IV. p. 47-59 13 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 1992

    Converting Bézier Triangles into Rectangular patches

    Lischinski, D., 1992, Graphics Gems. Vol. III. p. 256-261 6 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 1989

    Communication-Free Interactions among Rational Agents: A Probabilistic Approach.

    Rosenschein, J. S. & Breese, J. S., 1989, Distributed Artificial Intelligence. Gasser, L. & Huhns, M. N. (eds.). Elsevier Inc., p. 99-118 20 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    Open Access
  • Plans for Multiple Agents.

    Katz, M. J. & Rosenschein, J. S., 1989, Distributed Artificial Intelligence. Gasser, L. & Huhns, M. N. (eds.). Elsevier Inc., p. 197-228 32 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 1984

    Vibrations with unilateral constraints

    Schatzman, M. & Bercovier, M., 1984, Computing methods in applied sciences and engineering, VI (Versailles, 1983). North-Holland Publ Co, p. 401-419 19 p.

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 1983

    On a finite element procedure for nonlinear incompressible elasticity

    Bercovier, M., Hasbani, Y., Gilon, Y. & Bathe, K.-J., 1983, Hybrid and mixed finite element methods (Atlanta, Ga., 1981). wiley, p. 497-517 21 p. (Wiley Series in Numerical Methods in Engineering).

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • 1982

    Characteristics and finite element methods applied to the equation of fluids.

    Bercovier, M., Hasbani, Y. & Livne, E., 1982, Unknown Host Publication Title. Acad. Press Inc. (London)Ltd

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

  • Characteristics and the finite element method.

    Bercovier, M. & Pironneau, O., 1982, Unknown Host Publication Title. (ed.), Tokyo, Japan, Tokyo Univ. Press, 1982, Session II, p.6... ed. Tokyo Univ. Press

    Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review

    10 Scopus citations