[ACM Press the 22nd international conference - Limerick, Ireland (2000.06.04-2000.06.11)] Proceedings of the 22nd international conference on Software engineering - ICSE '00 - Quickly detecting relevant program invariants
- 作者Enst, Michael D.; Czeisler, Adam; Griswold, William G.; Notkin, David
- 文件大小132.39KB
- 发表时间2000
- DOI10.1145/337180.337240
- 页码449-458
[ACM Press the fifth ACM conference - San Antonio, Texas, United States (2000.06.02-2000.06.07)] Proceedings of the fifth ACM conference on Digital libraries - DL '00 - KeyLinkingPritchett, Bob · 2000
[ACM Press the fifth ACM conference - San Antonio, Texas, United States (2000.06.02-2000.06.07)] Proceedings of the fifth ACM conference on Digital libraries - DL '00 - <i>Snowball</i>Agichtein, Eugene; Gravano, Luis · 2000
[ACM Press the fifth ACM conference - San Antonio, Texas, United States (2000.06.02-2000.06.07)] Proceedings of the fifth ACM conference on Digital libraries - DL '00 - CompusFekete, Jean-Daniel; Dufournaud, Nicole · 2000
[ACM Press the fifth ACM conference - San Antonio, Texas, United States (2000.06.02-2000.06.07)] Proceedings of the fifth ACM conference on Digital libraries - DL '00 - AcrophileLarkey, Leah S.; Ogilvie, Paul; Price, M. Andrew; Tamilio, Brenden · 2000
[ACM Press the fifth ACM conference - San Antonio, Texas, United States (2000.06.02-2000.06.07)] Proceedings of the fifth ACM conference on Digital libraries - DL '00 - GreenstoneWitten, Ian H.; Boddie, Stefan J.; Bainbridge, David; McNab, Rodger J. · 2000
[ACM Press the fifth ACM conference - San Antonio, Texas, United States (2000.06.02-2000.06.07)] Proceedings of the fifth ACM conference on Digital libraries - DL '00 - MiBiblioFernández, Lourdes; Sánchez, J. Alfredo; García, Alberto · 2000
[ACM Press the fifth ACM conference - San Antonio, Texas, United States (2000.06.02-2000.06.07)] Proceedings of the fifth ACM conference on Digital libraries - DL '00 - Beyond 2D imagesBrown, Michael S.; Seales, W. Brent · 2000
Open video: A framework for a test collectionLaura Slaughter; Gary Marchionini; Gary Geisler · 2000
Measuring user performance during interactions with digital video collectionsMeng Yang; Barbara M. Wildemuth; Gary Marchionini; Todd Wilkens; Gary Geisler; Anthony Hughes; Richard Gruss; Curtis Webster · 2003
The Open Video Digital Library: A Möbius strip of research and practiceGary Marchionini; Barbara M. Wildemuth; Gary Geisler · 2006
[ACM Press CHI '02 extended abstracts - Minneapolis, Minnesota, USA (2002.04.20-2002.04.25)] CHI '02 extended abstracts on Human factors in computing systems - CHI '02 - Video browsing interfaces for the open video projectGeisler, Gary; Marchionini, Gary; Wildemuth, Barbara M.; Hughes, Anthony; Yang, Meng; Wilkens, Todd; Spinks, Richard · 2002
[ACM Press the first ACM/IEEE-CS joint conference - Roanoke, Virginia, United States (2001..-..)] Proceedings of the first ACM/IEEE-CS joint conference on Digital libraries - JCDL '01 - A bucket architecture for the open video projectNelson, Michael L.; Marchionini, Gary; Geisler, Gary; Yang, Meng · 2001