Siebel School of Computing and Data Science

Filter
Chapter

Search results

  • 2008

    Anomaly detection in moving object

    Li, X., Han, J., Kim, S. & Gonzalez, H., 2008, Intelligence and Security Informatics: Techniques and Applications. Chen, H. & Yang, C. (eds.). p. 357-381 25 p. (Studies in Computational Intelligence; vol. 135).

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

  • Approximate frequent itemset mining in the presence of random noise

    Cheng, H., Yu, P. S. & Han, J., 2008, Soft Computing for Knowledge Discovery and Data Mining. Springer, p. 363-389 27 p.

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

  • Automated assessment of compliance with security best practices

    Anwar, Z. & Campbell, R., 2008, Critical Infrastructure Protection II. Papa, M. & Shenoi, S. (eds.). p. 173-187 15 p. (IFIP International Federation for Information Processing; vol. 290).

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

  • Benchmarking the Operating System against Faults Impacting Operating System Functions

    Iyer, R., Kalbarczyk, Z. & Gu, W., Jan 7 2008, Dependability Benchmarking for Computer Systems. John Wiley & Sons, Ltd., p. 311-339 29 p.

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

  • Function computation in wireless sensor networks

    Ying, L., Srikant, R. & Dullerud, G. E., 2008, Networked Sensing Information and Control. Springer, p. 93-114 22 p.

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

  • Operations Research Applications in Aviation Security Systems

    Lee, A. J., Nikolaev, A. G., Jacobson, S. H. & Nestor, J. J., Jan 1 2008, Aviation Security Management: Volumes (1-3). Bloomsbury Publishing Plc., Vol. 2. p. V2-126-V2-145

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

  • Privacy-preserving data publishing: A constraint-based clustering approach

    Tung, A. K. H., Han, J., Lakshmanan, L. V. S. & Ng, R. T., Jan 1 2008, Constrained Clustering: Advances in Algorithms, Theory, and Applications. CRC Press, p. 375-396 22 p.

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

  • Reconfigurable Tamper-resistant Hardware Support Against Insider Threats: The Trusted ILLIAC Approach

    Iyer, R. K., Dabrowski, P., Nakka, N. & Kalbarczyk, Z., 2008, Insider Attack and Cyber Security: Beyond the Hacker. Springer, p. 133-151 19 p. (Advances in Information Security; vol. 39).

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

  • 2007

    An ACT-R approach to closing the loop on computational cognitive modeling: Describing dynamics of interactive decision making and attention allocation

    Byrne, M. D., Kirlik, A. & Fleetwood, M. D., Jan 1 2007, Human Performance Modeling in Aviation. CRC Press, p. 77-104 28 p.

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

  • Byzantine attacks on anonymity systems

    Borisov, N., Danezis, G. & Tabriz, P., Jan 1 2007, Digital Privacy: Theory, Technologies, and Practices. CRC Press, p. 73-93 21 p.

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

  • Human performance modeling a virtual roundtable discussion

    Foyle, D. C., Hooey, B. L., Byrne, M. D., Kirlik, A., Lebiere, C., Archer, R., Corker, K. M., Deutsch, S. E., Pew, R. W., Wickens, C. D. & McCarley, J. S., Jan 1 2007, Human Performance Modeling in Aviation. CRC Press, p. 285-320 36 p.

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

  • Incentives and pricing in communications networks

    Ozdaglar, A. & Srikant, R., Jan 1 2007, Algorithmic Game Theory. Cambridge University Press, Vol. 9780521872829. p. 571-592 22 p.

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

  • Optimal resource allocation for wireless mesh networks

    Xue, Y., Cui, Y. & Nahrstedt, K., 2007, Wireless Mesh Networks: Architectures and Protocols. Springer, p. 143-166 24 p.

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

  • Patchwork prototyping with open source software

    Jones, M. C., Floyd, I. R. & Twidale, M. B., 2007, Handbook of Research on Open Source Software: Technological, Economic, and Social Perspectives. St. Amant, K. & Still, B. (eds.). IGI Global, p. 126-140 15 p.

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

  • PhyME: A Software Tool for Finding Motifs in Sets of Orthologous Sequences

    Sinha, S., 2007, Motif finding multiple species evolutionary tree expectation maximization . Bergman, N. H. (ed.). Humana Press, Vol. 1. p. 309-318 10 p. ( Methods in Molecular Biology; vol. 395).

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

  • Quality of Service Support in Multimedia Wireless Environments

    Nahrstedt, K., Yuan, W., Shah, S., Xue, Y. & Chen, K., Mar 16 2007, Multimedia over IP and Wireless Networks: Compression, Networking, and Systems. Elsevier, p. 409-450 42 p.

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

  • Real-time communication for embedded wireless networks

    Caccamo, M. & Abdelzaher, T., Jan 1 2007, Handbook of Real-Time and Embedded Systems. CRC Press, p. 22-1-22-16

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

  • Regulatory motif analysis

    Moses, A. & Sinha, S., 2007, Bioinformatics: Tools and Applications. Springer, p. 137-163 27 p.

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

  • The Architecture of Efficient Multi-Core Processors: A Holistic Approach

    Kumar, R. & Tullsen, D. M., 2007, Architectural Issues. Zelkowitz, M. (ed.). p. 1-87 87 p. (Advances in Computers; vol. 69).

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

  • 2006

    Abstracting Situated Action: Implications for Cognitive Modeling and Interface Design

    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

  • 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

    Open Access

  • 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

    Open Access

  • 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

    Open Access

  • 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

    Open Access

  • 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