Ben-Gurion University of the Negev

  • Postal addressShow on map

    ​Marcus Family Campus, P.O.B. 653

    8410501 Beer-Sheva

    Israel

Filter
Conference contribution

Search results

  • 1999

    The sound of silence: Guessing games for saving energy in mobile environment

    Dolev, S., Korach, E. & Yukelson, D., 1 Dec 1999, Proceedings - IEEE INFOCOM'99: The Conference on Computer Communications - 18th Annual Joint Conference of the IEEE Computer and Communications Societies: The Future is Now. p. 768-775 8 p. 751464. (Proceedings - IEEE INFOCOM; vol. 2).

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

    8 Scopus citations
  • Verifying liveness by augmented abstraction

    Kesten, Y. & Pnueli, A., 1 Jan 1999, Computer Science Logic - 13th International Workshop, CSL 1999 - 8th Annual Conference of the EACSL, Proceedings. Flum, J. & Rodriguez-Artalejo, M. (eds.). Springer Verlag, p. 141-156 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1683).

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

    7 Scopus citations
  • View-Dependent Topology Simplification

    El-Sana, J. & Varshney, A., 1999, Proceedings of the 5th Eurographics Workshop on Virtual Environments, EGVE 1999, Vienna, Austria, May 31 - June 1, 1999. Gervautz, M., Schmalstieg, D. & Hildebrand, A. (eds.). Springer, p. 11-22 12 p. (Eurographics).

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

  • Water Flow and Solute Transport In Porous Fractured Chalk

    Nativ, R., Adar, E., Dahan, O., Weisbrod, N., Berkowitz, B. & Ronen, D., 1999, Proceedings of the International Symposium on DYNAMICS OF FLUIDS IN FRACTURED ROCKS Concepts and Recent Advances . Faybishenko, B. (ed.). p. 76-78 3 p. (CONCEPTS AND RECENT ADVANCES).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • 1998

    A heuristic incremental modeling approach to course timetabling

    Banks, D., Van Beek, P. & Meisels, A., 1 Jan 1998, Advances in Artificial Intelligence - 12th Biennial Conference of the Canadian Society for Computational Studies of Intelligence, AI 1998, Proceedings. Mercer, R. E. & Neufeld, E. (eds.). Springer Verlag, p. 16-29 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1418).

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

    13 Scopus citations
  • Algorithmic verification of linear temporal logic specifications

    Kesten, Y., Pnueli, A. & Raviv, L. O., 1 Jan 1998, Automata, Languages and Programming - 25th International Colloquium, ICALP 1998, Proceedings. Springer Verlag, p. 1-16 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1443 LNCS).

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

    105 Scopus citations
  • Algorithms for locating resources in a communication network

    Giladi, R., Korach, E. & Ohayon, R., 1 Jan 1998, Proceedings - 3rd IEEE Symposium on Computers and Communications, ISCC 1998. Institute of Electrical and Electronics Engineers Inc., p. 637-641 5 p. 702614. (Proceedings - 3rd IEEE Symposium on Computers and Communications, ISCC 1998).

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

  • A model for non-stationary time series analysis with clustering methods

    Policker, S. & Geva, A. B., 1 Jan 1998, Advances in Pattern Recognition - Joint IAPR International Workshops SSPR 1998 and SPR 1998, Proceedings. Amin, A., Dori, D., Pudil, P. & Freeman, H. (eds.). Springer Verlag, p. 649-657 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1451).

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

    Open Access
  • A new method for developing optical CDMA address code sequences using the genetic algorithm

    Sadot, D., Mahlab, U. & Bar Natan, V., 1 Dec 1998, ICC 1998 - 1998 IEEE International Conference on Communications: New Century Communications, Conference Record; Affiliated with SUPERCOMM 1998. p. 1279-1283 5 p. 683031. (International Conference on Communications - Proceedings; vol. 3).

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

    4 Scopus citations
  • AsbruView: Visualization of Time-Oriented, Skeletal Plans.

    Miksch, S., Kosara, R., Shahar, Y. & Johnson, P. D., 1998, AIPS. p. 11-18 8 p.

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

  • A simple linear stabilizing controller for RLED robot manipulators with uncertain models

    Ailon, A., Gil, M. I., Choi, E. S. & Ahn, B. H., 1 Dec 1998, Proceedings of the 1998 American Control Conference, ACC 1998. p. 929-933 5 p. 703544. (Proceedings of the American Control Conference; vol. 2).

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

  • Average modeling, analysis and simulation of current shared DC-DC converters

    Zafrany, I. & Ben-Yaakov, S., 1 Dec 1998, PESC 1998 - 29th Annual IEEE Power Electronics Specialists Conference. p. 640-646 7 p. 701966. (PESC Record - IEEE Annual Power Electronics Specialists Conference; vol. 1).

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

    11 Scopus citations
  • Behavioral and ecological aspects of reintroduced Persian fallow deer (Dama dama mesopotamica)

    Dolev, A., Dayan, T., Saltz, D. & Bar-David Michaeli, S., 1 Jan 1998, Conference: 4th International Deer Biology Congress.

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

  • Causality and Nonlocality as Axioms for Quantum Mechanics

    Popescu, S. & Rohrlich, D., 1998, Causality and Locality in Modern Physics. Hunter, G., Jeffers, S. & Vigier, J-P. (eds.). Dordrecht: Springer Netherlands, p. 383-389 7 p.

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

  • Chemical oxygen-iodine laser investigations in Israel

    Barmashenko, B. D., Furman, D. & Rosenwaks, S., 1 Jan 1998, XII International Symposium on Gas Flow and Chemical Lasers and High-Power Laser Conference. SPIE, p. 273-280 8 p. (Proceedings of SPIE - The International Society for Optical Engineering; vol. 3574).

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

    2 Scopus citations
  • Constrained square-center problems

    Katz, M. J., Kedem, K. & Segal, M., 1 Jan 1998, Algorithm Theory — SWAT 1998 - 6th Scandinavian Workshop on Algorithm Theory, Proceedings. Arnborg, S. & Ivansson, L. (eds.). Springer Verlag, p. 95-106 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 proceedingConference contributionpeer-review

    4 Scopus citations
  • Demonstrating Inner Hearing among Highly-Trained Expert Musicians

    Brodsky, W., Henik, A., Rubinstein, B. S. & Zorman, M., 1998, Proceedings of the 5th International Conference on Music Perception and Cognition. Seoul, Korea: Western Music Research Institute, p. 237-242

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

  • Directional decomposition of line-drawing images based on regulated morphological operations

    Agam, G. & Dinstein, I., 1 Jan 1998, Graphics Recognition: Algorithms and Systems - 2nd International Workshop, GREC 1997, Selected Papers. Tombre, K. & Chhabra, A. K. (eds.). Springer Verlag, p. 21-34 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1389).

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

    3 Scopus citations
  • Efficient implementation of regulated morphological operations based on directional interval coding

    Agam, G. & Dinstein, I., 1 Jan 1998, Advances in Pattern Recognition - Joint IAPR International Workshops SSPR 1998 and SPR 1998, Proceedings. Amin, A., Dori, D., Pudil, P. & Freeman, H. (eds.). Springer Verlag, p. 397-404 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1451).

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

    Open Access
    1 Scopus citations
  • Elasticity based approach to the buckling of reinforced solids

    Debotton, G., 1998, The 27th Israel Mechanical Engineering Conference. Technion – Israel Institute of Technology, p. 613-615

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

  • Enhancing the ER model with structure methods

    Balaban, M. & Shoval Stangel, P., 1998, Proc. of the Third CAISE/IFIP8.1 Int’l Workshop on Evaluation of Modeling Methods in Systems Analysis and Design (EMMSAD’98). Siau, K. (ed.). p. 1-13

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

    File
    20 Downloads (Pure)
  • Experiments on networks of employee timetabling problems

    Meisels, A. & Lusternik, N., 1 Jan 1998, Practice and Theory of Automated Timetabling II - 2nd International Conference, PATAT 1997, Selected Papers. Burke, E. & Carter, M. (eds.). Springer Verlag, p. 130-141 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1408).

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

    16 Scopus citations
  • FlexiMine - A Flexible Platform for KDD Research and Application Construction

    Domshlak, C., Gershkovich, D., Gudes, E., Liusternik, N., Meisels, A., Rosen, T. & Shimony, E. S., 1998, Proceedings of the Fourth International Conference on Knowledge Discovery and Data Mining (KDD-98), New York City, New York, USA, August 27-31, 1998. Agrawal, R., Stolorz, P. E. & Piatetsky-Shapiro, G. (eds.). AAAI press, p. 184-188 5 p.

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

  • Generating Determiners and Quantifiers in Hebrew

    Netzer, Y. D. & Elhadad, M., 1998, Computational Approaches to Semitic Languages, SEMITIC@COLING 1998, Montreal, Canada, August 16, 1998. Association for Computational Linguistics (ACL)

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

    Open Access
  • Generation Of Noun Compounds In Hebrew: Can Syntactic Knowledge Be Fully Encapsulated?

    Netzer, Y. D. & Elhadad, M., 1998, Proceedings of the Ninth International Workshop on Natural Language Generation, INLG 1998, Niagara-on-the-Lake, Ontario, Canada, August 5-7, 1998. Association for Computational Linguistics (ACL)

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

    Open Access
  • Linear discriminant analysis for two classes via recursive neural network reduction of the class separation

    Aladjem, M., 1 Jan 1998, Advances in Pattern Recognition - Joint IAPR International Workshops SSPR 1998 and SPR 1998, Proceedings. Amin, A., Dori, D., Pudil, P. & Freeman, H. (eds.). Springer Verlag, p. 775-784 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1451).

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

    Open Access
    2 Scopus citations
  • 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 proceedingConference contributionpeer-review

    5 Scopus citations
  • Modularization and abstraction: The keys to practical formal verification

    Kesten, Y. & Pnueli, A., 1 Jan 1998, Mathematical Foundations of Computer Science 1998 - 23rd International Symposium, MFCS 1998, Proceedings. Brim, L., Gruska, J. & Zlatuska, J. (eds.). Springer Verlag, p. 54-71 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1450 LNCS).

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

    26 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 Inc., p. 652-656 5 p. 702617. (Proceedings - 3rd IEEE Symposium on Computers and Communications, ISCC 1998).

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

    1 Scopus citations
  • Numerical simulation of permanent magnet synchronous motor drive

    Rabinovici, R. & Chernyak, I., 1 Jan 1998, OPTIM 1998 - Proceedings of the 6th International Conference on Optimization of Electrical and Electronic Equipments. Cernat, M., Margineanu, I. & Nicolaide, A. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 543-548 6 p. (OPTIM 1998 - Proceedings of the 6th International Conference on Optimization of Electrical and Electronic Equipments; vol. 2).

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

  • Ontology-driven visualization of temporal abstractions

    Shahar, Y. & Cheng, C., 1998, Proceedings of the Eleventh Banff Knowledge Acquisition for Knowledge-based Systems Workshop.

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

  • Parametric model of UHF/L-wave propagation in city with randomly distributed buildings

    Blaunstein, N. & Levin, M., 1 Jan 1998, IEEE Antennas and Propagation Society International Symposium, 1998 Digest - Antennas: Gateways to the Global Network - Held in conjunction with: USNC/URSI National Radio Science Meeting. Institute of Electrical and Electronics Engineers Inc., p. 1684-1687 4 p. 690881. (IEEE Antennas and Propagation Society International Symposium, 1998 Digest - Antennas: Gateways to the Global Network - Held in conjunction with: USNC/URSI National Radio Science Meeting; vol. 3).

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

    10 Scopus citations
  • Performance of an air-blown solar still with internal multitubular heat exchanger for condensation heat recycle.

    Kudish, A., Horvath, L., Mink, G. & Aboabboud, M. M., 1998, Proc. Int'l Congress Energy and the Environment. p. 71-77

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

  • Performance studies on an air-blown, multiple-effect solar still operating on solar and/or waste energy

    Kudish, A., Evseev, E., Mink, G. & Horvath, L., 1998, Proc. Int'l Congress Energy and the Environment. p. 57-69

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

  • Process Control for Non-Normal Populations Based on an Inverse Normalizing Transformation

    Shore, H., 1998, VI-th International Conference on Intelligent Statistical Quality Control.

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

  • Resolution enhancement by polyphase back-projection filtering

    Cohen, B. & Dinstein, I., 1 Dec 1998, Proceedings of the 1998 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 1998. p. 2921-2924 4 p. 678137. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 5).

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

    3 Scopus citations
  • Scattering analysis of arbitrary shaped cylinders in a focused beam system

    Shavit, R., Wells, T. & Cohen, A., 1 Jan 1998, IEEE Antennas and Propagation Society International Symposium, 1998 Digest - Antennas: Gateways to the Global Network - Held in conjunction with: USNC/URSI National Radio Science Meeting. Institute of Electrical and Electronics Engineers Inc., p. 2202-2205 4 p. 701703. (IEEE Antennas and Propagation Society International Symposium, 1998 Digest - Antennas: Gateways to the Global Network - Held in conjunction with: USNC/URSI National Radio Science Meeting; vol. 4).

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

  • 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 proceedingConference contributionpeer-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 proceedingConference contributionpeer-review

    Open Access
  • Supervised training of a neural network for classification via successive modification of the training data - An experimental study

    Aladjem, M., 1 Jan 1998, Tasks and Methods in Applied Artificial Intelligence - 11 th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA-1998-AIE, Proceedings. Ali, M., del Pobil, A. P. & Mira, J. (eds.). Springer Verlag, p. 593-602 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1416).

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

    1 Scopus citations
  • 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 proceedingConference contributionpeer-review

    5 Scopus citations
  • The development of pastoral nomadic systems in the southern Levantine periphery: An economic model based on archaeological evidence

    Rosen, S. A., 1998, Papers from the EAA third annual meeting: pre-and proto-history. Pearce, M. & Tosi, M. (eds.). Oxford: BAR International, Vol. 717. p. 92-97 6 p.

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

  • The dynamics a PWM boost converter with resistive input

    Ben-Yaakov, S. & Zeltser, I., 1 Dec 1998, PESC 1998 - 29th Annual IEEE Power Electronics Specialists Conference. p. 885-891 7 p. 702004. (PESC Record - IEEE Annual Power Electronics Specialists Conference; vol. 1).

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

  • The Effect of Second Phases and Heat Treatment on the Corrosion Behavior of Magnesium AZ91 Alloy

    Eliezer, D. & Aghion, E., 1 Jan 1998, The 2nd Conf. of the Israel Materials Union – AGIL98: Ramat Gan, Israel.

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

  • The two-dimensional Wold decomposition for segmentation and indexing in image libraries

    Stoica, R., Zerubia, J. & Francos, J. M., 1 Jan 1998, Proceedings of the 1998 IEEE International Conference on Acoustics, Speech and Signal Processing, ICASSP 1998. Institute of Electrical and Electronics Engineers Inc., p. 2977-2980 4 p. 678151. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 5).

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

    16 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 proceedingConference contributionpeer-review

    14 Scopus citations
  • Utility Elicitation as a Classification Problem.

    Chajewska, U., Getoor, L., Norman, J. & Shahar, Y., 1998, Proceedings of the 26th Conference on Uncertainty in Artificial Intelligence, UAI 2010. Maddison, Wisconsin: Morgan Kaufmann Publishers, Inc., p. 79-88 10 p.

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

  • Valosin-containing protein in the synaptic vesicle

    Zalk, R. & Shoshan-Barmatz, V., 1998, NEUROSCIENCE LETTERS. p. S45-S45

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

  • Williston Basin thermotectonics: variations in heat flow and hydrocarbon generation

    Osadetz, KG., Hannigan, PK., Stasiuk, LD., Kohn, BP., O'SULLIVAN, P., Feinstein, S., Everitt, RA., Gilboy, CF. & Bezys, RK., 1998, Proceedings of the Eighth International Williston Basin Symposium. Christopher, J. E., Gilboy, C. F., Paterson, D. F. & Bend, S. L. (eds.). p. 147-165

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

  • 1997

    A model for the drying of wet solid particles in the pipeline of a pneumatic conveying system

    Levy, A., Mason, D. J., Levi-Hevroni, D. & Borde, I., 1997, Jubilee Research Event, IChemE. Rugby, UK , Vol. 1. p. 13-16

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