Find Research Outputs

Search results

• Automatic verification of arithmetic circuits in RTL using stepwise refinement of term rewriting systems

  Vasudevan, S., Viswanath, V., Sumners, R. W. & Abraham, J. A., Oct 1 2007, In: IEEE Transactions on Computers. 56, 10, p. 1401-1414 14 p.

  Research output: Contribution to journal › Article › peer-review

  • Automatic Verification
  • Circuit Design
  • Arithmetic Circuits
  • Term Rewriting Systems
  • Refinement

• Automatic tuning of coupled inductor filters

  Balog, R. & Krein, P. T., Jan 1 2002, In: PESC Record - IEEE Annual Power Electronics Specialists Conference. 2, p. 591-596 6 p.

  Research output: Contribution to journal › Conference article › peer-review

  • Active Filters
  • inductors
  • Tuning
  • Active filters
  • Filter

• Automatic tuning matrix multiplication performance on graphics hardware

  Jiang, C. & Snir, M., 2005, 14th International Conference on Parallel Architectures and Compilation Techniques, PACT 2005. p. 185-194 10 p. 1515592. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT; vol. 2005).

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

  • Graphics Hardware
  • Matrix multiplication
  • Tuning
  • Performance
  • Computer hardware

• Automatic topology mapping of diverse large-scale parallel applications

  Galvez, J. J., Jain, N. & Kale, L. V., Jun 14 2017, ICS 2017: International Conference on Supercomputing. Association for Computing Machinery, 17. (Proceedings of the International Conference on Supercomputing; vol. Part F128411).

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

  • Topology
  • Communication
  • Oils and fats

• Automatic tonal analysis: Toward the implementation of a Music Theory Workbench

  Taube, H., 1999, In: Computer Music Journal. 23, 4, p. 18-32 15 p.

  Research output: Contribution to journal › Article › peer-review

• Automatic tissue segmentation of breast biopsies imaged by QPI

  Majeed, H., Nguyen, T., Kandel, M., Marcias, V., Do, M., Tangella, K., Balla, A. & Popescu, G., Jan 1 2016, Quantitative Phase Imaging II. Popescu, G. & Park, Y. (eds.). SPIE, 971817. (Progress in Biomedical Optics and Imaging - Proceedings of SPIE; vol. 9718).

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

  • Biopsy
  • breast
  • Tissue
  • Imaging techniques
  • Breast

• Automatic thesaurus generation for an electronic community system

  Chen, H., Yim, T., Fye, D. & Schatz, B., Apr 1995, In: Journal of the American Society for Information Science. 46, 3, p. 175-193 19 p.

  Research output: Contribution to journal › Article › peer-review

  • Electronic Communities
  • Thesaurus
  • Thesauri
  • thesaurus
  • electronics

• Automatic test generation for mutation testing on database applications

  Pan, K., Wu, X. & Xie, T., Oct 9 2013, 2013 8th International Workshop on Automation of Software Test, AST 2013 - Proceedings. p. 111-117 7 p. 6595801. (2013 8th International Workshop on Automation of Software Test, AST 2013 - Proceedings).

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

  • Testing
  • Mutagens
  • Fault detection

• Automatic temporal pattern extraction and association

  Hong, P. & Huang, T. S., Jan 1 2002, In: ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. 2, p. II/2005-II/2008

  Research output: Contribution to journal › Conference article › peer-review

  • Hidden Markov models
  • Protein Sorting Signals
  • K-means clustering

• Automatic tagging with existing and novel tags

  Wang, J., Shen, X., Sun, Y. & Qu, A., Jun 1 2017, In: Biometrika. 104, 2, p. 273-290 18 p.

  Research output: Contribution to journal › Article › peer-review

  • Tagging
  • Tag
  • Linguistics
  • Margin
  • Labels

• Automatic synonym discovery with knowledge bases

  Qu, M., Ren, X. & Han, J., Aug 13 2017, KDD 2017 - Proceedings of the 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 997-1005 9 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining; vol. Part F129685).

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

  • Fruits
  • Learning systems
  • Supervised learning
  • Data mining
  • Statistics

• Automatic symbolic compositional verification by learning assumptions

  Nam, W., Madhusudan, P. & Alur, R., Jun 1 2008, In: Formal Methods in System Design. 32, 3, p. 207-234 28 p.

  Research output: Contribution to journal › Article › peer-review

  • Compositional Verification
  • Reasoning
  • Learning
  • Formal languages
  • Problem-Based Learning

• Automatic summarization of MEDLINE citations for evidence-based medical treatment: A topic-oriented evaluation

  Fiszman, M., Demner-Fushman, D., Kilicoglu, H. & Rindflesch, T. C., Oct 1 2009, In: Journal of Biomedical Informatics. 42, 5, p. 801-813 13 p.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Medicine
  • Information retrieval
  • MEDLINE
  • Semantics
  • Physicians

• Automatic subject indexing using an associative neural network

  Chung, Y. M., Pottenger, W. M. & Schatz, B. R., 1998, p. 59-68. 10 p.

  Research output: Contribution to conference › Paper › peer-review

  • Automatic indexing
  • Thesauri
  • neural network
  • indexing
  • Semantics

• Automatic speech-to-background ratio selection to maintain speech intelligibility in broadcasts using an objective intelligibility metric

  Tang, Y., Fazenda, B. M. & Cox, T. J., Jan 3 2018, In: Applied Sciences (Switzerland). 8, 1, 59.

  Research output: Contribution to journal › Article › peer-review

  Open Access

  • Speech intelligibility
  • intelligibility
  • Acoustic waves
  • acoustics
  • masking

• Automatic speech recognition using probabilistic transcriptions in Swahili, Amharic, and Dinka

  Das, A., Jyothi, P. & Hasegawa-Johnson, M., Jan 1 2016, In: Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. 08-12-September-2016, p. 3524-3528 5 p.

  Research output: Contribution to journal › Conference article › peer-review

  • Automatic Speech Recognition
  • Amharic
  • Transcription
  • African Languages
  • Speech recognition

• Automatic skeletonization for 3D hepatic portal vein in CT angiography

  Jingjing, L., Zhi, Z., Pengfei, S., Enmin, S., Daoyu, H. & Qingguo, X., Dec 1 2008, 2008 IEEE Nuclear Science Symposium Conference Record, NSS/MIC 2008. p. 5396-5399 4 p. 4774452. (IEEE Nuclear Science Symposium Conference Record).

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

  • angiography
  • veins
  • Hepatic Veins
  • Computed Tomography Angiography
  • Portal Vein

• Automatic sequencing of ballet poses

  Laviers, A., Chen, Y., Belta, C. & Egerstedt, M., Sep 1 2011, In: IEEE Robotics and Automation Magazine. 18, 3, p. 87-95 9 p., 6016594.

  Research output: Contribution to journal › Article › peer-review

  • Formal methods
  • Parameterization
  • Artificial intelligence
  • Computer vision
  • Robotics

• Automatic semantic relation extraction with multiple boundary generation

  Beamer, B., Rozovskaya, A. & Girju, R., Dec 24 2008, National Conference on Artificial Intelligence. p. 824-829 6 p. (Proceedings of the National Conference on Artificial Intelligence; vol. 2).

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

  • Semantics
  • Experiments

• Automatic selection of order parameters in the analysis of large scale molecular dynamics simulations

  Sultan, M. M., Kiss, G., Shukla, D. & Pande, V. S., Dec 9 2014, In: Journal of Chemical Theory and Computation. 10, 12, p. 5217-5223 7 p.

  Research output: Contribution to journal › Article › peer-review

  • Molecular dynamics
  • Cell signaling
  • Feature extraction
  • molecular dynamics
  • Crystal structure

• Automatic segmentation of granular objects in images: Combining local density clustering and gradient-barrier watershed

  Yang, H. & Ahuja, N., Jun 1 2014, In: Pattern Recognition. 47, 6, p. 2266-2279 14 p.

  Research output: Contribution to journal › Article › peer-review

  • Watersheds
  • Object recognition
  • Nanoparticles
  • Edge detection
  • Physics

• Automatic security assessment of critical cyber-infrastructures

  Anwar, Z., Shankesi, R. & Campbell, R. H., Oct 13 2008, p. 366-375. 10 p.

  Research output: Contribution to conference › Paper › peer-review

  • Recovery
  • Access control
  • Automation
  • Topology
  • Specifications

• AUTOMATIC SCHEMA ACQUISITION IN A NATURAL LANGUAGE ENVIRONMENT.

  DeJong, G. F., Dec 1 1982, Unknown Host Publication Title. p. 410-413 4 p.

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

• Automatic scene inference for 3D object compositing

  Karsch, K., Sunkavalli, K., Hadap, S., Carr, N., Jin, H., Fonte, R., Sittig, M. & Forsyth, D., May 2014, In: ACM Transactions on Graphics. 33, 3, 32.

  Research output: Contribution to journal › Article › peer-review

  • Lighting
  • Drag
  • Light sources
  • Cameras
  • Geometry

• Automatic retargeting of web page content

  Kumar, R., Kim, J. & Klemmer, S. R., 2009, Proceedings of the 27th International Conference Extended Abstracts on Human Factors in Computing Systems, CHI 2009. p. 4237-4242 6 p. (Conference on Human Factors in Computing Systems - Proceedings).

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

  • Websites

• Automatic recovery using bounded partially observable Markov decision processes

  Joshi, K. R., Hiltunen, M. A., Sanders, W. H. & Schlichting, R. D., Dec 22 2006, Proceedings - DSN 2006: 2006 International Conference on Dependable Systems and Networks. p. 445-454 10 p. 1633533. (Proceedings of the International Conference on Dependable Systems and Networks; vol. 2006).

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

  • Recovery
  • Controllers
  • Costs

• Automatic recognition of tool wear on a face mill using a mechanistic modeling approach

  Waldorf, D. J., Kapoor, S. G. & DeVor, R. E., Sep 15 1992, In: Wear. 157, 2, p. 305-323 19 p.

  Research output: Contribution to journal › Article › peer-review

  • Wear of materials
  • inserts
  • lathes
  • Lathes
  • experimentation

• Automatic recognition of self-acknowledged limitations in clinical research literature

  Kilicoglu, H., Rosemblat, G., Malički, M. & Ter Riet, G., Jul 1 2018, In: Journal of the American Medical Informatics Association. 25, 7, p. 855-861 7 p.

  Research output: Contribution to journal › Article › peer-review

  • Support Vector Machine
  • Recognition (Psychology)
  • Publications
  • Supervised Machine Learning
  • Training Support

• Automatic recognition of pitch movements using multilayer perception and time-delay recursive neural network

  Kim, S. S., Hasegawa-Johnson, M. & Chen, K., Jul 1 2004, In: IEEE Signal Processing Letters. 11, 7, p. 645-648 4 p.

  Research output: Contribution to journal › Article › peer-review

  • Perceptron
  • Perception
  • Multilayer
  • Markov Model
  • Multilayer neural networks

• Automatic recognition of offensive team formation in american football plays

  Atmosukarto, I., Ghanem, B., AhujA, S., Muthuswamy, K. & Ahuja, N., Oct 8 2013, Proceedings - 2013 IEEE Conference on Computer Vision and Pattern Recognition Workshops, CVPRW 2013. p. 991-998 8 p. 6595990. (IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops).

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

  • Sports
  • Statistics
  • Military applications
  • Large dataset
  • Software packages

• Automatic Recognition of Intermittent Failures: An Experimental Study of Field Data

  Iyer, R. K., Young, L. T. & Iyer, P. V. K., Apr 1990, In: IEEE Transactions on Computers. 39, 4, p. 525-537 13 p.

  Research output: Contribution to journal › Article › peer-review

  • Experimental Study
  • Multiprocessor Systems
  • Relationships
  • Percent
  • Fault

• Automatic recognition of adverse events in news: A text mining approach

  Zhang, X., Zhou, M., Fan, W. & Wang, G. A., Jan 1 2014.

  Research output: Contribution to conference › Paper › peer-review

  • Sampling
  • Industry

• Automatic reachability analysis for nonlinear hybrid models with C2E2

  Fan, C., Qi, B., Mitra, S., Viswanathan, M. & Duggirala, P. S., Jan 1 2016, Computer Aided Verification - 28th International Conference, CAV 2016, Proceedings. Farzan, A. & Chaudhuri, S. (eds.). Springer-Verlag Berlin Heidelberg, p. 531-538 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9779).

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

  • Reachability Analysis
  • Hybrid Model
  • Discrepancy
  • Hybrid Automata
  • Nonlinear Model

• Automatic query reformulation with syntactic operators to alleviate search difficulty

  Duan, H., Li, R. & Zhai, C., Dec 13 2011, CIKM'11 - Proceedings of the 2011 ACM International Conference on Information and Knowledge Management. p. 2037-2040 4 p. (International Conference on Information and Knowledge Management, Proceedings).

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

  • Query Reformulation
  • Query
  • Operator
  • Search Engine
  • Top-k

• Automatic Program Parallelization

  Banerjee, U., Eigenmann, R., Nicolau, N., Padua, D. A. & Alexandru, A., Feb 1993, In: Proceedings of the IEEE. 81, 2, p. 211-243 33 p.

  Research output: Contribution to journal › Article › peer-review

• Automatic priming for translation- and scale-invariant representations of object shape

  Stankiewicz, B. J. & Hummel, J. E., Aug 1 2002, In: Visual Cognition. 9, 6, p. 719-739 21 p.

  Research output: Contribution to journal › Article › peer-review

  • Priming
  • Visual Fields
  • Visual Field
  • Experiment
  • Object Recognition

• Automatic pool allocation for disjoint data structures

  Lattner, C. & Adve, V., Jun 16 2002, Proceedings of the 2002 Workshop on Memory System Performance, MSP 2002. Association for Computing Machinery, Inc, p. 13-24 12 p. (Proceedings of the 2002 Workshop on Memory System Performance, MSP 2002).

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

  • Data structures
  • Linked data

• Automatic pool allocation for disjoint data structures

  Lattner, C. & Adve, V., Feb 2003, In: ACM SIGPLAN Notices. 38, 2 SUPPL., p. 13-24 12 p.

  Research output: Contribution to journal › Article › peer-review

  • Data structures
  • Linked data

• Automatic pool allocation: Improving performance by controlling data structure layout in the heap

  Lattner, C. & Adve, V., Dec 1 2005, p. 129-142. 14 p.

  Research output: Contribution to conference › Paper › peer-review

  • Data structures
  • Data storage equipment

• Automatic pool allocation: Improving performance by controlling data structure layout in the heap

  Lattner, C. & Adve, V., 2005, In: ACM SIGPLAN Notices. 40, 6, p. 129-142 14 p.

  Research output: Contribution to journal › Article › peer-review

  • Data structures
  • Data storage equipment

• Automatic planning and flexible scheduling: A knowledge-based approach

  Shaw, M. J. P. & Whinston, A. B., Jan 1 1985, Proceedings - 1985 IEEE International Conference on Robotics and Automation, ICRA 1985. Institute of Electrical and Electronics Engineers Inc., p. 890-894 5 p. 1087371. (Proceedings - IEEE International Conference on Robotics and Automation).

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

  • Scheduling
  • Planning
  • Cellular manufacturing
  • Flexible manufacturing systems

• Automatic physical activity and in-vehicle status classification based on GPS and accelerometer data: A hierarchical classification approach using machine learning techniques

  Lee, K. & Kwan, M. P., Dec 2018, In: Transactions in GIS. 22, 6, p. 1522-1549 28 p.

  Research output: Contribution to journal › Article › peer-review

  • physical activity
  • accelerometer
  • machine learning
  • GPS
  • vehicle

• Automatic photo pop-up

  Hoiem, D., Efros, A. A. & Hebert, M., Jul 1 2005, In: ACM Transactions on Graphics. 24, 3, p. 577-584 8 p.

  Research output: Contribution to journal › Conference article › peer-review

  • Labels
  • Textures
  • Geometry

• Automatic peak number detection in image symmetry analysis

  He, J., Li, M., Zhang, H. J., Tong, H. & Zhang, C., 2004, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 3333, p. 111-118 8 p.

  Research output: Contribution to journal › Article › peer-review

  • Symmetry
  • Image Database
  • Optimization
  • Pattern Analysis
  • Retrieval

• Automatic pathway building in biological association networks

  Yuryev, A., Mulyukov, Z., Kotelnikova, E., Maslov, S., Egorov, S., Nikitin, A., Daraselia, N. & Mazo, I., Mar 24 2006, In: BMC bioinformatics. 7, 171.

  Research output: Contribution to journal › Article › peer-review

  • Pathway
  • Technology
  • Tissue
  • Software
  • Signaling Pathways

• Automatic parameter tuning for image denoising with learned sparsifying transforms

  Pfister, L. & Bresler, Y., Jun 16 2017, 2017 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2017 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 6040-6044 5 p. 7953316. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings).

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

  • Image denoising
  • Tuning
  • Filter banks
  • Analytical models
  • Experiments

• Automatic parallelization using the value evolution graph

  Rus, S., Zhang, D. & Rauchwerger, L., 2005, In: Lecture Notes in Computer Science. 3602, p. 379-393 15 p.

  Research output: Contribution to journal › Conference article › peer-review

  • Automatic Parallelization
  • Privatization
  • Data flow analysis
  • Data structures
  • Data storage equipment

• Automatic parallelization of kernels in shared-memory multi-GPU nodes

  Cabezas, J., Vilanova, L., Gelado, I., Jablin, T. B., Navarro, N. & Hwu, W. M. W., Jun 8 2015, ICS 2015 - Proceedings of the 29th ACM International Conference on Supercomputing. Association for Computing Machinery, p. 3-13 11 p. (Proceedings of the International Conference on Supercomputing; vol. 2015-June).

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

  • Graphics processing unit
  • Data storage equipment
  • Scheduling
  • Costs

• Automatic Parallelization of GPU Applications Using OpenCL

  Solano-Quinde, L. D., Bode, B. M. & Somani, A. K., Oct 1 2015, Proceedings - 2015 Asia-Pacific Conference on Computer-Aided System Engineering, APCASE 2015. Sanchez, A., Monsalve, C. & Chaczko, Z. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 276-283 8 p. 7287032. (Proceedings - 2015 Asia-Pacific Conference on Computer-Aided System Engineering, APCASE 2015).

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

  • Graphics processing unit
  • Data transfer
  • Data storage equipment
  • Communication
  • Computer programming languages

• Automatic parallelization for non-cache coherent multiprocessors

  Paek, Y. & Padua, D. A., Jan 1 1997, Languages and Compilers for Parallel Computing - 9th International Workshop, LCPC 1996, Proceedings. Gelernter, D., Sehr, D., Banerjee, U., Nicolau, A. & Padua, D. (eds.). Springer-Verlag Berlin Heidelberg, p. 266-284 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1239).

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

  • Parallelizing Compilers
  • Automatic Parallelization
  • Cache
  • Multiprocessor
  • Shared-memory multiprocessors