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
Gross KC, Urmanov A, Votta LG, McMaster S, Porter A.  2006.  Towards Dependability in Everyday Software Using Software Telemetry. Engineering of Autonomic and Autonomous Systems, IEEE International Workshop on. :9-18.
Pappafotis N, Bejgerowski W, Gullapalli R, Simard MJ, Gupta SK, Desai JP.  2008.  Towards Design and Fabrication of a Miniature MRI-Compatible Robot for Applications in Neurosurgery. :747-754.
Josyula DP, Anderson ML, Perlis D.  2003.  Towards domain-independent, task-oriented, conversational adequacy. INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL IN℡LIGENCE. 18:1637-1638.
Yuan X, Cohen MB, Memon AM.  2009.  Towards Dynamic Adaptive Automated Test Generation for Graphical User Interfaces. Software Testing, Verification and Validation Workshops, 2009. ICSTW '09. International Conference on. :263-266.
Tao C, Wongsuphasawat K, Clark K, Plaisant C, Shneiderman B, Chute CG.  2012.  Towards event sequence representation, reasoning and visualization for EHR data. Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium. :801-806.
Sengupta B, Cleaveland R.  2003.  Towards formal but flexible scenarios. 2nd International Workshop on Scenarios and State Machines: Models, Algorithms and Tools.
Dumitras T, Kerner S, M\uarculescu R.  2003.  Towards On-chip Fault-tolerant Communication. ASP-DAC '03 Proceedings of the 2003 Asia and South Pacific Design Automation Conference. :225-232.
Vishkin U.  2007.  Towards Realizing a PRAM-On-Chip Vision. Workshop on Highly Parallel Processing on a Chip (HPPC). 28
Stuart B, Baker P, Aloimonos Y.  2001.  Towards the ultimate motion capture technology. Deformable avatars: IFIP TC5/WG5. 10 DEFORM'2000 Workshop, November 29-30, 2000, Geneva, Switzerland and AVATARS'2000 Workshop, November 30-December 1, 2000, Lausanne, Switzerland. 68:143-143.
Taheri S, Turaga P, Chellappa R.  2011.  Towards view-invariant expression analysis using analytic shape manifolds. 2011 IEEE International Conference on Automatic Face & Gesture Recognition and Workshops (FG 2011). :306-313.
Raykar VC, Duraiswami R, Yegnanarayana B, Prasanna SRM.  2003.  Tracking a moving speaker using excitation source information. Eighth European Conference on Speech Communication and Technology.
Black MJ, Yacoob Y.  1995.  Tracking and recognizing rigid and non-rigid facial motions using local parametric models of image motion. Computer Vision, 1995. Proceedings., Fifth International Conference on. :374-381.
Abd-Almageed W, Hussein M, Davis LS.  2006.  Tracking Articulating Objects from Ground Vehicles using Mixtures of Mixtures. Intelligent Robots and Systems, 2006 IEEE/RSJ International Conference on. :1230-1236.
Kembhavi A, Farrell R, Luo Y, Jacobs DW, Duraiswami R, Davis LS.  2008.  Tracking Down Under: Following the Satin Bowerbird. Applications of Computer Vision, 2008. WACV 2008. IEEE Workshop on. :1-7.
Tsakiris JYADP.  1990.  TRACKING IN A COMPLEX VISUAL ENVIRONMENT. Computer Vision-ECCV 90: First European Conference on Computer Vision. Antibes, France, April 23-27, 1990. Proceedings. 1:249-249.
Sankaranarayanan AC, Chellappa R, Zheng Q.  2005.  Tracking objects in video using motion and appearance models. Image Processing, 2005. ICIP 2005. IEEE International Conference on. 2:II-394-7-II-394-7.
Yacoob Y, Davis LS.  1999.  Tracking rigid motion using a compact-structure constraint. Computer Vision, 1999. The Proceedings of the Seventh IEEE International Conference on. 1:198-205vol.1-198-205vol.1.
Nguyen H V, Banerjee A, Chellappa R.  2010.  Tracking via object reflectance using a hyperspectral video camera. 2010 IEEE Computer Society Conference on Computer Vision and Pattern Recognition Workshops (CVPRW). :44-51.
Mansour Y, Nisan N, Vishkin U.  1994.  Trade-offs between communication throughput and parallel time. Proceedings of the twenty-sixth annual ACM symposium on Theory of computing. :372-381.
Vishkin U, Wigderson A.  1983.  Trade-offs between depth and width in parallel computation. Foundations of Computer Science, 1983., 24th Annual Symposium on. :146-153.
Arya S, Fonseca G, Mount D.  2008.  Tradeoffs in Approximate Range Searching Made Simpler. Computer Graphics and Image Processing, 2008. SIBGRAPI '08. XXI Brazilian Symposium on. :237-244.
Roitman H, Gal A, Raschid L.  2010.  On trade-offs in event delivery systems. Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems. :116-127.
Castillo CD, Jacobs DW.  2011.  Trainable 3D recognition using stereo matching. Computer Vision Workshops (ICCV Workshops), 2011 IEEE International Conference on. :625-631.
Svec P, Schwartz M, Thakur A, Gupta SK.  2011.  Trajectory planning with look-ahead for Unmanned Sea Surface Vehicles to handle environmental disturbances. :1154-1159.
Oard D.  2004.  Transforming access to the spoken word. Proceedings of the International Symposium on Large-scale Knowledge Resources. :57-59.

Pages