Publications

Export 7151 results:
Author Title [ Type(Desc)] Year
Filters: Efficient-model-checking-buchi-tableau-automata%E2%8B%86 is   [Clear All Filters]
Conference Papers
Gumerov NA.  2000.  Rectified Heat Transfer to Vapor Bubbles in Standing Acoustic Waves. Microgravity fluid physics and heat transfer: proceedings of the International Conference on Microgravity Fluid Physics and Heat Transfer held at the Tutle Bay Hilton, Oahu, Hawaii, September 19-24, 1999. :96-96.
Horvitz O, Katz J, Koo CY, Morselli R.  2004.  Reducing complexity assumptions for statistically-hiding commitment. In EUROCRYPT.
Butler K, Payne T, Shneiderman B, Brennan P, Zhang J.  2011.  Re-engineering health care with information technology: the role of computer-human interaction. PART 2 ———– Proceedings of the 2011 annual conference extended abstracts on Human factors in computing systems. :451-454.
Plaisant C, Venkatraman M, Ngamkajorwiwat K, Barth R, Harberts B, Feng W.  1999.  Refining query previews techniques for data with multivalued attributes: the case of NASA EOSDIS. Research and Technology Advances in Digital Libraries, 1999. ADL '99. Proceedings. IEEE Forum on. :50-59.
Brown B, Chetty M, Grimes A, Harmon E.  2006.  Reflecting on Health: A System for Students to Monitor Diet and Exercise. SIGCHI EA '06. :1807-1812.
Salmela P, Shen CC, Bhattacharyya SS, Takala J.  2006.  Register File Partitioning with Constraint Programming. System-on-Chip, 2006. International Symposium on. :1-4.
De Floriani L, Magillo P.  2002.  Regular and irregular multi-resolution terrain models: a comparison. Proceedings of the 10th ACM international symposium on Advances in geographic information systems. :143-148.
Zotkin DN, Duraiswami R, Gumerov NA.  2009.  Regularized HRTF fitting using spherical harmonics. IEEE Workshop on Applications of Signal Processing to Audio and Acoustics, 2009. WASPAA '09. :257-260.
Van Horn D, Mairson HG.  2007.  Relating Complexity and Precision in Control Flow Analysis. ICFP '07 Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming. :85-96.
Bhattacharya I, Getoor L.  2005.  Relational clustering for multi-type entity resolution. Proceedings of the 4th international workshop on Multi-relational mining. :3-12.
Roussopoulos N, Kelley S.  1983.  A Relational Database to Support Graphical Design and Documentation. Databases for Business and Office Applications, Database Week. :135-149.
Agrawala AK, Mohr JM.  1977.  The relationship between the pattern recognition problem and the workload characterization problem. 1977 CMG Conference.
Nau DS, Reggia JA.  1986.  Relationships between deductive and abductive inference in knowledge-based diagnostic problem solving. Expert Database Systems: Proceedings of the First International Workshop. New York: Benjamin Cummings.
Strecker J, Memon AM.  2008.  Relationships between Test Suites, Faults, and Fault Detection in GUI Testing. Software Testing, Verification, and Validation, 2008 1st International Conference on. :12-21.
Huang L, Aloimonos Y.  1991.  Relative depth from motion using normal flow: an active and purposive solution. Proceedings of the IEEE Workshop on Visual Motion, 1991. :196-204.
Kashyap A, Khuller S, Shayman M.  2006.  Relay Placement for Higher Order Connectivity in Wireless Sensor Networks. INFOCOM 2006. 25th IEEE International Conference on Computer Communications. Proceedings. :1-12.
Koo C-Y, Bhandari V, Katz J, Vaidya NH.  2006.  Reliable broadcast in radio networks: the bounded collision case. Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing. :258-264.
Tanin E, Brabec F, Samet H.  2002.  Remote access to large spatial databases. Proceedings of the 10th ACM international symposium on Advances in geographic information systems. :5-10.
Plaisant C, Carr DA.  1992.  Remote manipulation interfaces the case of a telepathology workstation. Posters and short talks of the 1992 SIGCHI conference on Human factors in computing systems. :65-65.
Samet H, Brabec F.  2002.  Remote thin-client access to spatial database systems. Proceedings of the 2002 annual national conference on Digital government research. :1-8.
Huang S, Cohen MB, Memon AM.  2010.  Repairing GUI Test Suites Using a Genetic Algorithm. Software Testing, Verification and Validation (ICST), 2010 Third International Conference on. :245-254.
Hedin B, Oard D.  2009.  Replication and automation of expert judgments: Information engineering in legal e-discovery. IEEE International Conference on Systems, Man and Cybernetics, 2009. SMC 2009. :102-107.
Ghanem N, DeMenthon D, Doermann D, Davis LS.  2004.  Representation and Recognition of Events in Surveillance Video Using Petri Nets. Second IEEEWorkshop on Event Mining 2004, CVPR2004. :112-112.
De Floriani L, Morando F, Puppo E.  2003.  A representation for abstract simplicial complexes: an analysis and a comparison. Discrete Geometry for Computer Imagery. :454-464.
Jimmy Lin, Fushman DD.  2005.  Representation of information needs and the elements of context: A case study in the domain of clinical medicine. In Proceedings of the ACM SIGIR 2005 Workshop on Information Retrieval in Context (IRiX 2005).

Pages