Search the dblp DataBase
David Lee :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
David Lee Continuous Speech Recognition Using Modified Stack Decoding Algorithm. [Citation Graph (0, 0)][DBLP ] AAAI, 2005, pp:1614-1615 [Conf ] David Lee , Michael Recce Quantitative Evaluation of the Exploration Strategies of a Mobile Robot. [Citation Graph (0, 0)][DBLP ] AAAI, 1994, pp:1470- [Conf ] David J. Harper , David Lee On the Effectiveness of Relevance Profiling. [Citation Graph (0, 0)][DBLP ] ADCS, 2004, pp:10-16 [Conf ] Mihalis Yannakakis , David Lee An Efficient Algorithm for Minimizing Real-time Transition Systems. [Citation Graph (0, 0)][DBLP ] CAV, 1993, pp:210-224 [Conf ] Toyokazu Akiyama , Kazunori Nozaki , S. Kato , Shinji Shimojo , Steven Peltier , Abel W. Lin , Tomas E. Molina , George Yang , David Lee , Mark H. Ellisman , Kiyokazu Yoshida , H. Mori Scientific grid activities in Cybermedia Center, Osaka University. [Citation Graph (0, 0)][DBLP ] CCGRID, 2005, pp:463-470 [Conf ] Scott Elrod , Richard Bruce , Rich Gold , David Goldberg , Frank G. Halasz , William C. Janssen Jr. , David Lee , Kim McCall , Elin Rønby Pedersen , Kenneth A. Pier , John C. Tang , Brent B. Welch Liveboard: A Large Interactive Display Supporting Group Meetings, Presentations, and Remote Collaboration. [Citation Graph (0, 0)][DBLP ] CHI, 1992, pp:599-607 [Conf ] Ali Poursepanj , Deene Ogden , Brad Burgess , Sonya Gary , Carl Dietz , David Lee , S. Surya , Mike Peters The PowerPC 603 Microprocessor: Performance Analysis and Design Trade-offs. [Citation Graph (0, 0)][DBLP ] COMPCON, 1994, pp:316-323 [Conf ] Mihalis Yannakakis , David Lee Testing for Finite State Systems. [Citation Graph (0, 0)][DBLP ] CSL, 1998, pp:29-44 [Conf ] Jonathan Friedman , David Lee , Ilias Tsigkogiannis , Sophia Wong , Dennis Chao , David Levin , William J. Kaiser , Mani B. Srivastava RAGOBOT: A New Platform for Wireless Mobile Sensor Networks. [Citation Graph (0, 0)][DBLP ] DCOSS, 2005, pp:412-412 [Conf ] Alfred V. Aho , David Lee Storing a Dynamic Sparse Table [Citation Graph (0, 0)][DBLP ] FOCS, 1986, pp:55-60 [Conf ] Baptiste Alcalde , Ana R. Cavalli , Dongluo Chen , Davy Khuu , David Lee Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach. [Citation Graph (0, 0)][DBLP ] FORTE, 2004, pp:150-166 [Conf ] Ana R. Cavalli , David Lee , Christian Rinderknecht , Fatiha Zaïdi Hit-or-Jump: An algorithm for embedded testing with applications to IN services. [Citation Graph (0, 0)][DBLP ] FORTE, 1999, pp:41-56 [Conf ] Nancy D. Griffeth , Ruibing Hao , David Lee , Rakesh K. Sinha Integrated System Interoperability Testing with Applications to VOIP. [Citation Graph (0, 0)][DBLP ] FORTE, 2000, pp:69-84 [Conf ] Ruibing Hao , David Lee , Rakesh K. Sinha , Dario Vlah Testing IP Routing Protocols - From Probabilistic Algorithms to a Software Tool. [Citation Graph (0, 0)][DBLP ] FORTE, 2000, pp:249-264 [Conf ] Samuel Huang , David Lee , Mark G. Staskauskas Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines. [Citation Graph (0, 0)][DBLP ] FORTE, 1996, pp:403-418 [Conf ] David Lee , Ruibing Hao Test Sequence Selection. [Citation Graph (0, 0)][DBLP ] FORTE, 2001, pp:269-284 [Conf ] Thomas F. La Porta , David Lee , Yow-Jian Lin , Mihalis Yannakakis Protocol Feature Interactions. [Citation Graph (0, 0)][DBLP ] FORTE, 1998, pp:59-74 [Conf ] Andreas Nowatzyk , Gunes Aybay , Michael C. Browne , Edmund J. Kelly , David Lee , Michael Parkin The S3mp Scalable Shared Memory Multiprocessor. [Citation Graph (0, 0)][DBLP ] HICSS (1), 1994, pp:144-153 [Conf ] David Lee Feature Testing of Communications Protocols. [Citation Graph (0, 0)][DBLP ] ICCCN, 1995, pp:- [Conf ] David Lee , Dongluo Chen , Ruibing Hao , Raymond E. Miller , Jianping Wu , Xia Yin A Formal Approach for Passive Testing of Protocol Data Portions. [Citation Graph (0, 0)][DBLP ] ICNP, 2002, pp:122-131 [Conf ] David Lee , Arun N. Netravali , Krishan K. Sabnani , Binay Sugla , Ajita John Passive testing and applications to network management. [Citation Graph (0, 0)][DBLP ] ICNP, 1997, pp:113-0 [Conf ] David Lee , K. K. Ramakrishnan , W. Melody Moh , A. Udaya Shankar Protocol Specification Using Parameterized Communicating Extended Finite Stte Machines - A Case Study of The ATM ABR Rate Control Scheme. [Citation Graph (0, 0)][DBLP ] ICNP, 1996, pp:208-217 [Conf ] David Lee , Mihalis Yannakakis Optimization problems from feature testing of communication protocols. [Citation Graph (0, 0)][DBLP ] ICNP, 1996, pp:66-75 [Conf ] Mark J. Karol , S. Jamaloddin Golestani , David Lee Prevention of Deadlocks and Livelocks in Lossless, Backpressured Packet Networks. [Citation Graph (0, 0)][DBLP ] INFOCOM, 2000, pp:1333-1342 [Conf ] David Lee , Lavy Libman , Ariel Orda Path Protection and Blocking Probability Minimization in Optical Networks. [Citation Graph (0, 0)][DBLP ] INFOCOM, 2004, pp:- [Conf ] David Lee , K. K. Ramakrishnan , W. Melody Moh , A. Udaya Shankar Performance and Correctness of the ATM ABR Rate Control Scheme. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1997, pp:785-794 [Conf ] David Lee , Krishan K. Sabnani , David M. Kristol , Sanjoy Paul , M. Ümit Uyar Conformance Testing of Protocols Specified as Communicating FSMs. [Citation Graph (0, 0)][DBLP ] INFOCOM, 1993, pp:115-127 [Conf ] Guoqiang Shu , David Lee , Mihalis Yannakakis A note on broadcast encryption key management with applications to large scale emergency alert systems. [Citation Graph (0, 0)][DBLP ] IPDPS, 2006, pp:- [Conf ] David Haupert , Fu-Gin Chen , David Lee VLSI Package Reliability Risk Due to Accelerated Environmental Testing. [Citation Graph (0, 0)][DBLP ] ITC, 1989, pp:938- [Conf ] Cédric Besse , Ana R. Cavalli , David Lee An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol. [Citation Graph (0, 0)][DBLP ] ASE, 1999, pp:73-80 [Conf ] David Lee , Christine Liu , Mihalis Yannakakis Protocol System Integration, Interface and Interoperability. [Citation Graph (0, 0)][DBLP ] OPODIS, 2004, pp:1-19 [Conf ] Raymond E. Miller , Dongluo Chen , David Lee , Ruibing Hao Coping with Nondeterminism in Network Protocol Testing. [Citation Graph (0, 0)][DBLP ] TestCom, 2005, pp:129-145 [Conf ] Guoqiang Shu , David Lee Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking. [Citation Graph (0, 0)][DBLP ] TestCom, 2006, pp:357-372 [Conf ] Keqin Li 0002 , David Lee Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms. [Citation Graph (0, 0)][DBLP ] TestCom, 2005, pp:258-274 [Conf ] David Lee , Alastair Grant , Ian Sillitoe , Mark Dibley , Juan Garcia Ranea , Christine A. Orengo A structural perspective on genome evolution. [Citation Graph (0, 0)][DBLP ] RECOMB, 2004, pp:336- [Conf ] Kris Lin , Jennifer Yu , Jason Hsu , Sadaf Zahedi , David Lee , Jonathan Friedman , Aman Kansal , Vijay Raghunathan , Mani B. Srivastava Heliomote: enabling long-lived sensor networks through solar energy harvesting. [Citation Graph (0, 0)][DBLP ] SenSys, 2005, pp:309- [Conf ] Ilias Tsigkogiannis , Rahul Balani , James Carwana , Jonathan Friedman , David Lee , Chih-Chieh Han , Roy Shea , Ram Kumar Rengaswamy , Michael Petralia , Laura Corman , Eric Wittenmeier , Eddie Kohler , Mani B. Srivastava Dynamically configurable robotic sensor networks. [Citation Graph (0, 0)][DBLP ] SenSys, 2005, pp:321- [Conf ] David M. Kristol , David Lee , Arun N. Netravali , Krishan K. Sabnani Efficient Gateway Synthesis from Formal Specifications. [Citation Graph (0, 0)][DBLP ] SIGCOMM, 1991, pp:89-97 [Conf ] Andreas Nowatzyk , M. Monger , Michael Parkin , Edmund J. Kelly , Michael C. Browne , Gunes Aybay , David Lee The S3.mp Architecture: A Local Area Multiprocessor. [Citation Graph (0, 0)][DBLP ] SPAA, 1993, pp:140-141 [Conf ] David Lee , Mihalis Yannakakis Online Minimization of Transition Systems (Extended Abstract) [Citation Graph (0, 0)][DBLP ] STOC, 1992, pp:264-274 [Conf ] Mihalis Yannakakis , David Lee Testing Finite State Machines (Extended Abstract) [Citation Graph (0, 0)][DBLP ] STOC, 1991, pp:476-485 [Conf ] Vishwani D. Agrawal , David Lee Characteristic polynomial method for verification and test of combinational circuits. [Citation Graph (0, 0)][DBLP ] VLSI Design, 1996, pp:341-342 [Conf ] Mike Blow , Kerstin Dautenhahn , Andrew Appleby , Chrystopher L. Nehaniv , David Lee The art of designing robot faces: dimensions for human-robot interaction. [Citation Graph (0, 0)][DBLP ] HRI, 2006, pp:331-332 [Conf ] David Lee , K. K. Ramakrishnan , W. Melody Moh Correctness and performance of the ATM ABR rate control scheme. [Citation Graph (0, 0)][DBLP ] Computer Networks, 2001, v:35, n:2-3, pp:237-261 [Journal ] David Lee , K. K. Ramakrishnan , W. Melody Moh A Formal Specification of the ATM ABR Rate Control Scheme. [Citation Graph (0, 0)][DBLP ] Computer Networks, 1998, v:30, n:19, pp:1735-1748 [Journal ] David Lee , Abel W. Lin , Thomas Hutton , Toyokazu Akiyama , Shinji Shimojo , Fang-Pang Lin , Steven Peltier , Mark H. Ellisman Global Telescience featuring IPv6 at iGrid2002. [Citation Graph (0, 0)][DBLP ] Future Generation Comp. Syst., 2003, v:19, n:6, pp:1031-1039 [Journal ] Rajvikram Singh , Nicholas Schwarz , Nut Taesombut , David Lee , Byungil Jeong , Luc Renambot , Abel W. Lin , Ruth West , Hiromu Otsuka , Sei Naito , Steven Peltier , Maryann E. Martone , Kazunori Nozaki , Jason Leigh , Mark H. Ellisman Real-time multi-scale brain data acquisition, assembly, and analysis using an end-to-end OptIPuter. [Citation Graph (0, 0)][DBLP ] Future Generation Comp. Syst., 2006, v:22, n:8, pp:1032-1039 [Journal ] Mihalis Yannakakis , David Lee An Efficient Algorithm for Minimizing Real-Time Transition Systems. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 1997, v:11, n:2, pp:113-136 [Journal ] David Lee , Michael Recce Quantitative Evaluation of the Exploration Strategies of a Mobile Robot. [Citation Graph (0, 0)][DBLP ] I. J. Robotic Res., 1997, v:16, n:4, pp:413-447 [Journal ] Dong Wang , Ruibing Hao , David Lee Fault detection in Rule-based Software systems. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2003, v:45, n:12, pp:865-871 [Journal ] Nicholas Molton , Stephen Se , Michael Brady , David Lee , Penny Probert A stereo vision-based aid for the visually impaired. [Citation Graph (0, 0)][DBLP ] Image Vision Comput., 1998, v:16, n:4, pp:251-263 [Journal ] Martin Snaith , David Lee , Penny Probert A low-cost system using sparse vision for navigation in the urban environment. [Citation Graph (0, 0)][DBLP ] Image Vision Comput., 1998, v:16, n:4, pp:225-233 [Journal ] David Lee Optimal algorithms for image understanding: Current status and future plans. [Citation Graph (0, 0)][DBLP ] J. Complexity, 1985, v:1, n:1, pp:138-146 [Journal ] David Lee Fast multiplication of a recursive block Toeplitz matrix by a vector and its application. [Citation Graph (0, 0)][DBLP ] J. Complexity, 1986, v:2, n:4, pp:295-305 [Journal ] David Lee Discontinuity detection from band-limited signals. [Citation Graph (0, 0)][DBLP ] J. Complexity, 1990, v:6, n:2, pp:170-191 [Journal ] David Lee , Theodosios Pavlidis , Grzegorz W. Wasilkowski A note on the trade-off between sampling and quantization in signal processing. [Citation Graph (0, 0)][DBLP ] J. Complexity, 1987, v:3, n:4, pp:359-371 [Journal ] David Lee , Henryk Wozniakowski A Probabilistic Analysis of Linear Operator Testing. [Citation Graph (0, 0)][DBLP ] J. Complexity, 2001, v:17, n:3, pp:516-540 [Journal ] David Lee , Grzegorz W. Wasilkowski Approximation of linear functionals on a banach space with a Gaussian measure. [Citation Graph (0, 0)][DBLP ] J. Complexity, 1986, v:2, n:1, pp:12-43 [Journal ] David Lee , Grzegorz W. Wasilkowski Discontinuity Detection and Thresholding-A Stochastic Approach. [Citation Graph (0, 0)][DBLP ] J. Complexity, 1993, v:9, n:1, pp:76-96 [Journal ] Mihalis Yannakakis , David Lee Testing Finite State Machines: Fault Detection. [Citation Graph (0, 0)][DBLP ] J. Comput. Syst. Sci., 1995, v:50, n:2, pp:209-227 [Journal ] Steven Peltier , Abel W. Lin , David Lee , Stephen Mock , Stephan Lamont , Tomas E. Molina , Mona Wong , Lu Dai , Maryann E. Martone , Mark H. Ellisman The Telescience Portal for advanced tomography applications. [Citation Graph (0, 0)][DBLP ] J. Parallel Distrib. Comput., 2003, v:63, n:5, pp:539-550 [Journal ] Imrich Chlamtac , David Lee , Mischa Schwartz Editorial - Protocols and Software Paradigms of Mobile Networks. [Citation Graph (0, 0)][DBLP ] MONET, 1998, v:3, n:2, pp:121-122 [Journal ] M. Mar Albà , David Lee , Frances M. G. Pearl , Adrian J. Shepherd , Nigel J. Martin , Christine A. Orengo , Paul Kellam VIDA: a virus database system for the organization of animal virus genome open reading frames. [Citation Graph (0, 0)][DBLP ] Nucleic Acids Research, 2001, v:29, n:1, pp:133-136 [Journal ] Daniel W. A. Buchan , Stuart C. G. Rison , James E. Bray , David Lee , Frances M. G. Pearl , Janet M. Thornton , Christine A. Orengo Gene3D: structural assignments for the biologist and bioinformaticist alike. [Citation Graph (0, 0)][DBLP ] Nucleic Acids Research, 2003, v:31, n:1, pp:469-473 [Journal ] Frances M. G. Pearl , David Lee , James E. Bray , Ian Sillitoe , Annabel E. Todd , Andrew P. Harrison , Janet M. Thornton , Christine A. Orengo Assigning genomic sequences to CATH. [Citation Graph (0, 0)][DBLP ] Nucleic Acids Research, 2000, v:28, n:1, pp:277-282 [Journal ] Frances M. G. Pearl , Nigel J. Martin , James E. Bray , Daniel W. A. Buchan , Andrew P. Harrison , David Lee , Gabrielle A. Reeves , Adrian J. Shepherd , Ian Sillitoe , Annabel E. Todd , Janet M. Thornton , Christine A. Orengo A rapid classification protocol for the CATH Domain Database to support structural genomics. [Citation Graph (0, 0)][DBLP ] Nucleic Acids Research, 2001, v:29, n:1, pp:223-227 [Journal ] Frances M. G. Pearl , Annabel E. Todd , Ian Sillitoe , Mark Dibley , Oliver Redfern , Tony E. Lewis , Christopher Bennett , Russell L. Marsden , Alastair Grant , David Lee , Adrian Akpor , Michael Maibaum , Andrew P. Harrison , Timothy Dallman , Gabrielle A. Reeves , Ilhem Diboun , Sarah Addou , Stefano Lise , Caroline Johnston , Antonio Sillero , Janet M. Thornton , Christine A. Orengo The CATH Domain Structure Database and related resources Gene3D and DHS provide comprehensive domain family information for genome analysis. [Citation Graph (0, 0)][DBLP ] Nucleic Acids Research, 2005, v:33, n:Database-Issue, pp:247-251 [Journal ] Corin Yeats , Michael Maibaum , Russell L. Marsden , Mark Dibley , David Lee , Sarah Addou , Christine A. Orengo Gene3D: modelling protein structure, function and evolution. [Citation Graph (0, 0)][DBLP ] Nucleic Acids Research, 2006, v:34, n:Database-Issue, pp:281-284 [Journal ] Minghua Chen , David Lee , Theodosios Pavlidis Residual Analysis for Feature Detection. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Pattern Anal. Mach. Intell., 1991, v:13, n:1, pp:30-40 [Journal ] David Lee Coping with Discontinuities in Computer Vision: Their Detection, Classification, and Measurement. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Pattern Anal. Mach. Intell., 1990, v:12, n:4, pp:321-344 [Journal ] David Lee , Theodosios Pavlidis One-Dimensional Regularization with Discontinuities. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Pattern Anal. Mach. Intell., 1988, v:10, n:6, pp:822-829 [Journal ] Nicholas Molton , Stephen Se , Michael Brady , David Lee , Penny Probert Robotic sensing for the partially sighted. [Citation Graph (0, 0)][DBLP ] Robotics and Autonomous Systems, 1999, v:26, n:2-3, pp:185-201 [Journal ] David Lee , Mihalis Yannakakis Closed Partition Lattice and Machine Decomposition. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 2002, v:51, n:2, pp:216-228 [Journal ] David Lee Comparator with Completion Signal. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1985, v:34, n:9, pp:855-857 [Journal ] David Lee , Mihalis Yannakakis Testing Finite-State Machines: State Identification and Verification. [Citation Graph (0, 0)][DBLP ] IEEE Trans. Computers, 1994, v:43, n:3, pp:306-320 [Journal ] David Lee , Henryk Wozniakowski Approximate evaluations of characteristic polynomials of Boolean functions. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2001, v:262, n:1, pp:37-68 [Journal ] David Lee , Grzegorz W. Wasilkowski , Rajiv Mehrotra A new zero-crossing-based discontinuity detector. [Citation Graph (0, 0)][DBLP ] IEEE Transactions on Image Processing, 1993, v:2, n:2, pp:265-268 [Journal ] Ruibing Hao , David Lee , Rakesh K. Sinha , Nancy D. Griffeth Integrated system interoperability testing with applications to VoIP. [Citation Graph (0, 0)][DBLP ] IEEE/ACM Trans. Netw., 2004, v:12, n:5, pp:823-836 [Journal ] Mark J. Karol , S. Jamaloddin Golestani , David Lee Prevention of deadlocks and livelocks in lossless backpressured packet networks. [Citation Graph (0, 0)][DBLP ] IEEE/ACM Trans. Netw., 2003, v:11, n:6, pp:923-934 [Journal ] David M. Kristol , David Lee , Arun N. Netravali , Krishan K. Sabnani A polynomial algorithm for gateway generation from formal specifications. [Citation Graph (0, 0)][DBLP ] IEEE/ACM Trans. Netw., 1993, v:1, n:2, pp:217-229 [Journal ] A. Udaya Shankar , David Lee Minimum-latency transport protocols with modulo-N incarnation numbers. [Citation Graph (0, 0)][DBLP ] IEEE/ACM Trans. Netw., 1995, v:3, n:3, pp:255-268 [Journal ] Guoqiang Shu , David Lee Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach. [Citation Graph (0, 0)][DBLP ] ICDCS, 2007, pp:25- [Conf ] Guoqiang Shu , David Lee Network Protocol System Fingerprinting - A Formal Approach. [Citation Graph (0, 0)][DBLP ] INFOCOM, 2006, pp:- [Conf ] Zhijun Liu , Guoqiang Shu , Na Li , David Lee Defending against Instant Messaging Worms. [Citation Graph (0, 0)][DBLP ] GLOBECOM, 2006, pp:- [Conf ] Caixia Chi , Dawei Huang , David Lee , Xiaorong Sun Lazy flooding: a new technique for information dissemination in distributed network systems. [Citation Graph (0, 0)][DBLP ] IEEE/ACM Trans. Netw., 2007, v:15, n:1, pp:80-92 [Journal ] A Hybrid Approach to Distributed Constraint Satisfaction. [Citation Graph (, )][DBLP ] A hybrid approach to solving coarse-grained DisCSPs. [Citation Graph (, )][DBLP ] Montage: a platform for physically navigating multiple pages of web content. [Citation Graph (, )][DBLP ] Detecting Communication Protocol Security Flaws by Formal Fuzz Testing and Machine Learning. [Citation Graph (, )][DBLP ] Multi-Hyb: A Hybrid Algorithm for Solving DisCSPs with Complex Local Problems. [Citation Graph (, )][DBLP ] Network Court Protocol and Malicious Node Conviction. [Citation Graph (, )][DBLP ] VCSTC: Virtual Cyber Security Testing Capability - An Application Oriented Paradigm for Network Infrastructure Protection. [Citation Graph (, )][DBLP ] Fault management for networks with link state routing protocols. [Citation Graph (, )][DBLP ] Technical Infrastructure at Linguistic Data Consortium: Software and Hardware Resources for Linguistic Data Creation. [Citation Graph (, )][DBLP ] Exploratory studies on social spaces between humans and a mechanical-looking robot. [Citation Graph (, )][DBLP ] Search in 0.062secs, Finished in 0.066secs