Siebel School of Computing and Data Science

Filter
Chapter

Search results

  • 2006

    An inference model for semantic entailment in natural language: Marchine Learning Challenges

    De Braz, R. S., Girju, C. R., Punyakanok, V., Roth, D. & Sammons, M., 2006, Evaluating Predictive Uncertainty, Visual Object Classification, and Recognizing Textual Entailment, First PASCAL Machine Learning Challenges Workshop. Springer, p. 261-286 26 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3944 LNAI).

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

  • Cognitive Engineering: Toward a Workable Concept of Mind

    Kirlik, A., May 2006, Adaptive Perspectives on Human-Technology Interaction: Methods and Models for Cognitive Engineering and Human-Computer Interaction. Kirlik, A. (ed.). Oxford University Press

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

  • Discovery of Frequent Substructures

    Yan, X. & Han, J., Apr 10 2006, Mining Graph Data. John Wiley & Sons, Ltd., p. 97-115 19 p.

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

  • Discrete-event simulation of health care systems

    Jacobson, S. H., Hall, S. N. & Swisher, J. R., 2006, International Series in Operations Research and Management Science. Springer, p. 212-252 41 p. (International Series in Operations Research and Management Science; vol. 91).

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

  • Inferring Fast and Frugal Heuristics from Human Judgment Data

    Rothrock, L. & Kirlik, A., 2006, Adaptive Perspectives on Human-Technology Interaction: Methods and Models for Cognitive Engineering and Human-Computer Interaction. Kirlik, A. (ed.). Oxford University Press

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

  • Kilograms Matter: Rational Analysis, Ecological Rationality, and Closed-Loop Modeling of Interactive Cognition and Behavior

    Byrne, M. D., Kirlik, A. & Fick, C. S., May 2006, Adaptive Perspectives on Human-Technology Interaction: Methods and Models for Cognitive Engineering and Human-Computer Interaction. Kirlik, A. (ed.). Oxford University Press

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

  • Knowledge versus Execution in Dynamic Judgment Tasks

    Bisantz, A. M., Kirlik, A., Walker, N., Fisk, A. D., Gay, P. & Phipps, D., May 2006, Adaptive Perspectives on Human-Technology Interaction: Methods and Models for Cognitive Engineering and Human-Computer Interaction. Kirlik, A. (ed.). Oxford University Press

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

  • Metadata quality problems in federated collections

    Stvilia, B., Gasser, L. & Twidale, M. B., 2006, Challenges of Managing Information Quality in Service Organizations. Al-Hakim, L. (ed.). IGI Global, p. 154-185 32 p.

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

  • Model reduction of strongly stable nonstationary LPV systems

    Farhood, M. & Dullerud, G. E., Mar 16 2006, Control of Uncertain Systems: Modelling, Approximation, and Design: A Workshop on the Occasion of Keith Glovera Ts 60th Birthday. Francis, B., Willems, J. & Smith, M. (eds.). p. 99-118 20 p. (Lecture Notes in Control and Information Sciences; vol. 329).

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

  • The usability of open source software: analysis and prospects

    Nichols, D. M. & Twidale, M. B., 2006, Open Source Software in Business: Issues and Perspectives. Kumar Jain, B. R. (ed.). Hyderabad: The ICFAI University Press, p. 167-188 22 p.

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

  • What Makes Vicarious Functioning Work? Exploring the Geometry of Human-Technology Interaction

    Degani, A., Shafto, M. & Kirlik, A., May 2006, Adaptive Perspectives on Human-Technology Interaction: Methods and Models for Cognitive Engineering and Human-Computer Interaction. Kirlik, A. (ed.). Oxford University Press

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

  • 2005

    Biomolecular modeling using parallel supercomputers

    Kale, L. V., Schulten, K., Skeel, R. D., Martyna, G., Tuckerman, M., Phillips, J. C., Kumar, S. & Zheng, G., Dec 21 2005, Handbook of Computational Molecular Biology. CRC Press, p. 34.1-34.43

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

  • Energy conservation

    Kravets, R. & Sengul, C., 2005, Ad Hoc Networks: Technologies and Protocols. Springer, p. 153-195 43 p.

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

  • Functorial semantics of rewrite theories

    Meseguer, J., 2005, Formal Methods in Software and Systems Modeling: Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday. Springer, p. 220-235 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3393 LNCS).

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

  • Gap navigation trees: Minimal representation for visibility-based tasks

    Tovar, B., Guilamo, L. & LaValle, S. M., 2005, Algorithmic Foundations of Robotics VI. Springer, p. 425-440 16 p. (Springer Tracts in Advanced Robotics; vol. 17).

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

  • Hypervision

    Ahuja, N. & Sull, S., Jan 1 2005, HyperReality: Paradigm for the Third Millenium. Taylor and Francis, p. 43-53 11 p.

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

  • Incremental Grid Sampling Strategies in Robotics

    Lindemann, S. R., Yershova, A. & LaValle, S. M., 2005, Algorithmic Foundations of Robotics VI. Springer, p. 313-328 16 p. (Springer Tracts in Advanced Robotics; vol. 17).

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

  • Models and Methods for Analyzing Internet Congestion Control Algorithms

    Srikant, R., 2005, Advances in Communication Control Networks. Tarbouriech, S., Abdallah, C. & Chiasson, J. (eds.). p. 65-86 22 p. (Lecture Notes in Control and Information Sciences; vol. 308).

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

  • Pareto optimal coordination on Roadmaps

    Ghrist, R., O'Kane, J. M. & LaValle, S. M., 2005, Algorithmic Foundations of Robotics VI. Springer, p. 171-186 16 p. (Springer Tracts in Advanced Robotics; vol. 17).

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

  • Pattern recognition with local invariant features

    Schmid, C., Dorkó, G., Lazebnik, S., Mikolajczyk, K. & Ponce, J., Jan 1 2005, Handbook of Pattern Recognition and Computer Vision, 3rd Edition. World Scientific Publishing Co., p. 71-92 22 p.

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

  • 2004

    A formal monitoring-based framework for software development and analysis

    Chen, F., D'Amorim, M. & Roşu, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer, p. 357-372 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

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

  • A higher order modal fixed point logic

    Viswanathan, M. & Viswanathan, R., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Gardner, P. & Yoshida, N. (eds.). Springer, p. 512-528 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3170).

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

  • A preliminary study on the vectorization of multimedia applications for multimedia extensions

    Ren, G., Wu, P. & Padua, D., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rauchwerger, L. (ed.). Springer, p. 420-435 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2958).

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

  • Characterizing configuration spaces of simple threshold cellular automata

    Tosic, P. T. & Agha, G. A., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Sloot, P. M. A., Hoekstra, A. G. & Chopard, B. (eds.). Springer, p. 861-870 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3305).

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

  • Formal analysis of Java programs in JavaFAN

    Farzan, A., Chen, F., Meseguer, J. & Roşu, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer, p. 501-505 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

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

  • Formal JVM code analysis in javaFAN

    Farzan, A., Meseguer, J. & Roşu, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rattray, C., Maharaj, S. & Shankland, C. (eds.). Springer, p. 132-147 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3116).

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

  • High-Dimensional OLAP

    Li, X., Han, J. & Gonzalez, H., Jan 1 2004, Proceedings 2004 VLDB Conference: The 30th International Conference on Very Large Databases (VLDB). Elsevier, p. 528-539 12 p.

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

  • Learning to verify safety properties

    Vardhan, A., Sen, K., Viswanathan, M. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer, p. 274-289 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

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

  • Linear inequality LTL (iLTL): A model checker for discrete time Markov chains

    Kwon, Y. M. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Davies, J., Schulte, W. & Barnett, M. (eds.). Springer, p. 194-208 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3308).

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

  • Middlewhere: A middleware for location awareness in ubiquitous computing applications

    Ranganathan, A., Al-Muhtadi, J., Chetan, S., Campbell, R. & Dennis Mickunas, M., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jacobsen, H.-A. (ed.). Springer, p. 397-416 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3231).

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

    Open Access

  • Mining thick skylines over large databases

    Jin, W., Han, J. & Ester, M., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Boulicaut, J.-F., Esposito, F., Giannotti, F. & Pedreschi, D. (eds.). Springer, p. 255-266 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3202).

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

    Open Access

  • On exploring performance optimizations in web service composition

    Jin, G. & Nahrstedt, K., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jacobsen, H.-A. (ed.). Springer, p. 115-134 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3231).

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

    Open Access

  • Online efficient predictive safety analysis of multithreaded programs

    Sen, K., Roşu, G. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Jensen, K. & Podelski, A. (eds.). Springer, p. 123-138 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 proceeding › Chapter

    Open Access

  • Overhaul extending HTTP to combat flash crowds

    Patel, J. A. & Gupta, I., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Chi, C.-H., van Steen, M. & Wills, C. (eds.). Springer, p. 34-43 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3293).

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

  • Over-the-Shoulder Learning in a Distance Education Environment

    Twidale, M. & Ruhleder, K., 2004, Learning, Culture and Community in Online Education: Research and Practice. Haythornthwaite, C. & Kazmer, M. M. (eds.). New York: Peter Lang Publishing, p. 177-194 (Digital Formations).

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

  • Programming for locality and parallelism with hierarchically tiled arrays

    Almási, G., De Rose, L., Fraguela, B. B., Moreira, J. & Padua, D., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rauchwerger, L. (ed.). Springer, p. 162-176 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2958).

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

    Open Access

  • Real-time synchronization protocols

    Sha, L. & Caccamo, M., Jan 1 2004, Handbook of Scheduling: Algorithms, Models, and Performance Analysis. CRC Press, p. 29-1-29-26

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

  • Shape and view independent reflectance map from multiple views

    Yu, T., Xu, N. & Ahuja, N., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Pajdla, T. & Matas, J. (eds.). Springer, p. 602-615 14 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 proceeding › Chapter

    Open Access

  • Specification and Analysis of Real-Time Systems Using Real-Time Maude

    Ölveczky, P. C. & Meseguer, J., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wermelinger, M. & Margaria-Steffen, T. (eds.). Springer, p. 354-358 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2984).

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

    Open Access

  • Statistical model checking of black-box probabilistic systems

    Sen, K., Viswanathan, M. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Alur, R. & Peled, D. A. (eds.). Springer, p. 202-215 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3114).

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

  • Techniques for executing and reasoning about specification diagrams

    Thati, P., Talcott, C. & Agha, G., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rattray, C., Maharaj, S. & Shankland, C. (eds.). Springer, p. 521-536 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 3116).

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

  • The power of belady's algorithm in register allocation for long basic blocks

    Guo, J., Garzarán, M. J. & Padua, D., 2004, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Rauchwerger, L. (ed.). Springer, p. 374-389 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2958).

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

  • Worldwide computing middleware

    Agha, G. A. & Varela, C. A., Jan 1 2004, The Practical Handbook of Internet Computing. CRC Press, p. 38-1-38-21

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

  • 2003

    An interface model for parallel components

    Bhandarkar, M. & Kalé, L. V., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Dietz, H. G. (ed.). Springer, p. 209-222 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2624).

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

  • A rewriting based model for probabilistic distributed object systems

    Kumar, N., Sen, K., Meseguer, J. & Agha, G., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Najm, E., Nestmann, U. & Stevens, P. (eds.). Springer, p. 32-46 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2884).

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

    Open Access

  • Certifying optimality of state estimation programs

    Roşu, G., Venkatesan, R. P., Whittle, J. & Leuştean, L., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Hunt, W. A. & Somenzi, F. (eds.). Springer, p. 301-314 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2725).

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

    Open Access

  • Compiling for a hybrid programming model using the LMAD representation

    Zhu, J., Hoeflinger, J. & Padua, D., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Dietz, H. G. (ed.). Springer, p. 321-335 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2624).

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

  • Conditional circular coinductive rewriting with case analysis

    Goguen, J. A., Lin, K. & Roşu, G., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Wirsing, M., Pattinson, D. & Hennicker, R. (eds.). Springer, p. 216-232 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2755).

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

  • Definition of a user environment in a ubiquitous system

    Carvalho, D., Campbell, R., Belford, G. & Mickunas, D., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Meersman, R., Tari, Z. & Schmidt, D. C. (eds.). Springer, p. 1151-1169 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2888).

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

  • Experiments with test case generation and runtime analysis

    Artho, C., Drusinksy, D., Goldberg, A., Havelund, K., Lowry, M., Pasareanu, C., Roşu, G. & Visser, W., 2003, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Borger, E., Gargantini, A. & Riccobene, E. (eds.). Springer, p. 87-107 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 2589).

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