sign in · help · news · about ·

BibSonomy :: author :: Christel ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(398)

<< < 1 | 2 | 3 > >>

Recognizing omega-regular Languages with Probabilistic Automata.
Christel Baier, and Marcus Größer LICS, page 137-146. IEEE Computer Society, (2005)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Adjustable Filmstrips and Skims as Abstractions for a Digital Video Library.
Michael G. Christel, Alexander G. Hauptmann, Adrienne Warmack, and Scott A. Crosby ADL, page 98-104. IEEE Computer Society, (1999)
to dblp by dblp on Jan 5, 2012, 12:00 AM
URL | BibTeX
Constant Density Displays Using Diversity Sampling.
Mark Derthick, Michael G. Christel, Alexander G. Hauptmann, and Howard D. Wactlar INFOVIS, page 137-144. IEEE Computer Society, (2003)
to dblp by dblp on Jan 3, 2012, 12:00 AM
URL | BibTeX
Visual digests for news video libraries.
Michael G. Christel ACM Multimedia 1, page 303-311. ACM, (1999)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Automating the Creation of a Digital Video Library.
Michael A. Smith, and Michael G. Christel ACM Multimedia, page 357-358. ACM Press, (1995)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Collages as dynamic summaries for news video.
Michael G. Christel, Alexander G. Hauptmann, Howard D. Wactlar, and Tobun D. Ng ACM Multimedia, page 561-569. ACM, (2002)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
SVG for navigating digital news video.
Michael G. Christel, and Chang Huang ACM Multimedia, page 483-485. ACM, (2001)
to dblp by dblp on Dec 23, 2011, 12:00 AM
URL | BibTeX
Integrated software usability services.
Christel Dehaes, and Kris Vanstappen CHI 95 Conference Companion, page 168-169. ACM, (1995)
to dblp by dblp on Dec 21, 2011, 12:00 AM
URL | BibTeX
Artificial Intelligence Techniques in the Interface to a Digital Video Library.
Alexander G. Hauptmann, Michael J. Witbrock, and Michael G. Christel CHI Extended Abstracts, page 2-3. ACM, (1997)
to dblp by dblp on Dec 21, 2011, 12:00 AM
URL | BibTeX
Evolving Video Skims into Useful Multimedia Abstractions.
Michael G. Christel, Michael A. Smith, C. Roy Taylor, and David B. Winkler CHI, page 171-178. ACM, (1998)
to dblp by dblp on Dec 21, 2011, 12:00 AM
URL | BibTeX
Model Checking Performability Properties.
Boudewijn R. Haverkort, Lucia Cloth, Holger Hermanns, Joost-Pieter Katoen, and Christel Baier DSN, page 103-112. IEEE Computer Society, (2002)
to dblp by dblp on Dec 20, 2011, 12:00 AM
URL | BibTeX
On computing fixpoints in well-structured regular model checking, with applications to lossy channel systems
Christel Baier, Nathalie Bertrand, and Ph. Schnoebelen CoRR (2006)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Verifying nondeterministic probabilistic channel systems against $ømega$-regular linear-time properties
Christel Baier, Nathalie Bertrand, and Ph. Schnoebelen CoRR (2005)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Model-Checking Algorithms for Continuous-Time Markov Chains.
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, and Joost-Pieter Katoen IEEE Trans. Software Eng. 29(6):524-541 (2003)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Model Checking Markov Chains with Actions and State Labels.
Christel Baier, Lucia Cloth, Boudewijn R. Haverkort, Matthias Kuntz, and Markus Siegle IEEE Trans. Software Eng. 33(4):209-224 (2007)
to dblp by dblp on Nov 7, 2011, 12:00 AM
URL | BibTeX
Interactive Maps for a Digital Video Library.
Michael G. Christel, Andreas M. Olligschlaeger, and Chang Huang IEEE MultiMedia 7(1):60-67 (2000)
to dblp by dblp on Nov 3, 2011, 12:00 AM
URL | BibTeX
Multimedia Analysis + Visual Analytics = Multimedia Analytics.
Nancy Chinchor, James J. Thomas, Pak Chung Wong, Michael G. Christel, and William Ribarsky IEEE Computer Graphics and Applications 30(5):52-60 (2010)
to dblp by dblp on Oct 25, 2011, 12:00 AM
URL | BibTeX
Guest Editors' Introduction: Multimedia Analytics.
Nancy Chinchor, Michael G. Christel, and William Ribarsky IEEE Computer Graphics and Applications 30(5):18-19 (2010)
to dblp by dblp on Oct 25, 2011, 12:00 AM
URL | BibTeX
Multimedia information retrieval: what is it, and why isn't anyone using it?
Alejandro Jaimes, Mike Christel, Sébastien Gilles, Ramesh Sarukkai, and Wei-Ying Ma Proceedings of the 7th ACM SIGMM international workshop on Multimedia information retrieval, page 3--8. New York, NY, USA, ACM, (2005)
to ba-thesis information multimedia retrieval tagging tags by seboettg and 1 other user on Oct 21, 2011, 10:02 PM
URL | DOI | BibTeX
Standardizing the use of whole slide images in digital pathology.
Christel Daniel, Marcial García-Rojo, Jacques Klossa, Vincenzo Della Mea, David Booker, Bruce Beckwith, and Thomas Schrader Comp. Med. Imag. and Graph. 35(7-8):496-505 (2011)
to dblp by dblp on Sep 26, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100