A comparison of variational upwinding schemes for geophysical fluids, and their application to potential enstrophy conserving discretisations in space and time.

[BibT_eX]

[DOI]

David Lee

Alberto F. Martín

Christopher Bladwell

Santiago Badia

CoRR, 2022

2021

Exact spatial and temporal balance of energy exchanges within a horizontally explicit/vertically implicit non-hydrostatic atmosphere.

[BibT_eX]

[DOI]

David Lee

Artur Palha

J. Comput. Phys., 2021

An energetically balanced, quasi-Newton integrator for non-hydrostatic vertical atmospheric dynamics.

[BibT_eX]

[DOI]

David Lee

J. Comput. Phys., 2021

Automated Object Behavioral Feature Extraction for Potential Risk Analysis based on Video Sensor.

[BibT_eX]

[DOI]

CoRR, 2021

Vision based Pedestrian Potential Risk Analysis based on Automated Behavior Feature Extraction for Smart and Safe City.

[BibT_eX]

[DOI]

CoRR, 2021

Petrov-Galerkin flux upwinding for mixed mimetic spectral elements, and its application to geophysical flow problems.

[BibT_eX]

[DOI]

David Lee

Comput. Math. Appl., 2021

Tutorial: A Lightweight Web Application for Software Vulnerability Demonstration.

[BibT_eX]

[DOI]

Proceedings of the IEEE Secure Development Conference, 2021

Extended Tactile Perception: Vibration Sensing through Tools and Grasped Objects.

[BibT_eX]

[DOI]

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

CREATe: Clinical Report Extraction and Annotation Technology.

[BibT_eX]

[DOI]

Proceedings of the 37th IEEE International Conference on Data Engineering, 2021

2020

Balancing Hazard Exposure and Walking Distance in Evacuation Route Planning during Earthquake Disasters.

[BibT_eX]

[DOI]

ISPRS Int. J. Geo Inf., 2020

A learning analytics journey: Bridging the gap between technology services and the academic need.

[BibT_eX]

[DOI]

Internet High. Educ., 2020

Exact spatial and temporal balance of energy exchanges within a horiztonally explicit/vertically implicit non-hydrostatic atmosphere.

[BibT_eX]

[DOI]

David Lee

Artur Palha

CoRR, 2020

Petrov-Galerkin flux upwinding for mixed mimetic spectral elements, and its application to vorticity stabilisation in shallow water.

[BibT_eX]

[DOI]

David Lee

CoRR, 2020

MLPerf Inference Benchmark.

[BibT_eX]

[DOI]

Proceedings of the 47th ACM/IEEE Annual International Symposium on Computer Architecture, 2020

NTIRE 2020 Challenge on NonHomogeneous Dehazing.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2019

MicroBTC: Efficient, Flexible and Fair Micropayment for Bitcoin Using Hash Chains.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2019

Inferring the character of urban commercial areas from age-biased online search results: how place recommendation data can reveal dynamic seoul neighborhoods.

[BibT_eX]

[DOI]

David Lee

Seolha Lee

Proceedings of the 2019 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2019 ACM International Symposium on Wearable Computers, 2019

2018

Extreme-value limit of the convolution of exponential and multivariate normal distributions: Link to the Hüsler-Reiß distribution.

[BibT_eX]

[DOI]

J. Multivar. Anal., 2018

Efficient computation of multivariate empirical distribution functions at the observed values.

[BibT_eX]

[DOI]

David Lee

Harry Joe

Comput. Stat., 2018

Analysing Forests Using Dense Point Clouds.

[BibT_eX]

[DOI]

Proceedings of the 2018 International Conference on Image and Vision Computing New Zealand, 2018

Vision-based Overhead Front Point Recognition of Vehicles for Traffic Safety Analysis.

[BibT_eX]

[DOI]

Byeongjoon Noh

Wonjun No

David Lee

Proceedings of the 2018 ACM International Joint Conference and 2018 International Symposium on Pervasive and Ubiquitous Computing and Wearable Computers, 2018

We don't need no licensing server.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Workshop on Hot Topics in Networks, 2018

2017

Probability Map Viewer: near real-time probability map generator of serial block electron microscopy collections.

[BibT_eX]

[DOI]

Bioinform., 2017

2016

Helio X20: The first tri-gear mobile SoC with CorePilot™ 3.0 technology.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Hot Chips 28 Symposium (HCS), 2016

Distinguishing Posed and Spontaneous Smiles by Facial Dynamics.

[BibT_eX]

[DOI]

Bappaditya Mandal

David Lee

Nizar Ouarti

Proceedings of the Computer Vision - ACCV 2016 Workshops, 2016

2015

'Isn't it just a way to protect Walt Disney's rights?': Media user perspectives on copyright.

[BibT_eX]

[DOI]

New Media Soc., 2015

Scaling persistent connections for cloud services.

[BibT_eX]

[DOI]

Comput. Networks, 2015

Electronic Contract Signing Without Using Trusted Third Party.

[BibT_eX]

[DOI]

Zhiguo Wan

Robert H. Deng

David Lee

Proceedings of the Network and System Security - 9th International Conference, 2015

Dual Aperture Photography: Image and Depth from a Mobile Camera.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Computational Photography, 2015

Forager: designing location-aware applications for informal waste recyclers in Brazil.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2015 ACM International Symposium on Wearable Computers, 2015

2014

Learning from tracking waste: How transparent trash networks affect sustainable attitudes and behavior.

[BibT_eX]

[DOI]

Proceedings of the IEEE World Forum on Internet of Things, 2014

Environmental Information System for Waste Electrical Electronic Equipment (WEEE) Managent: Case Study of Pernambuco (Brazil).

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Informatics for Environmental Protection: ICT for Energy Effieciency, 2014

2013

Tracking Trash.

[BibT_eX]

[DOI]

Santi Phithakkitnukoon

IEEE Pervasive Comput., 2013

Detecting job interference in large distributed multi-agent systems - A formal approach.

[BibT_eX]

[DOI]

Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013

The impact of data quality on spatial analysis of cancer registry data: the example of missing stage at diagnosis and late-stage colorectal cancer.

[BibT_eX]

[DOI]

Recinda Sherman

Kevin A. Henry

David Lee

Proceedings of the Second ACM SIGSPATIAL International Workshop on Use of GIS in Public Health, 2013

2012

PhantomPen: virtualization of pen head for digital drawing free from pen occlusion & visual parallax.

[BibT_eX]

[DOI]

Proceedings of the 25th Annual ACM Symposium on User Interface Software and Technology, 2012

Putting the informal on the map: tools for participatory waste management.

[BibT_eX]

[DOI]

Dietmar Offenhuber

David Lee

Proceedings of the 12th Participatory Design Conference, 2012

Through the looking glass: mirror worlds for augmented awareness & capability.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM Multimedia Conference, MM '12, Nara, Japan, October 29, 2012

Modelling techniques for analysis of human activity patterns.

[BibT_eX]

[DOI]

Philip Holloway

Alan St. Clair Gibson

Proceedings of the 6th IEEE International Conference on Intelligent Systems, 2012

Traceback Attacks in Cloud - Pebbletrace Botnet.

[BibT_eX]

[DOI]

Wenjie Lin

David Lee

Proceedings of the 32nd International Conference on Distributed Computing Systems Workshops (ICDCS 2012 Workshops), 2012

Exploring Local Cultural Perspectives in User Interface Development in an Indian Offshoring Context: A View from the UK.

[BibT_eX]

[DOI]

Malte Ressin

Cecilia Oyugi

José L. Abdelnour-Nocera

David Lee

Dharam Panesar

Proceedings of the Human-Centered Software Engineering - 4th International Conference, 2012

Addressing colorectal cancer disparities: the identification of geographic targets for screening interventions in Miami-Dade County, Florida.

[BibT_eX]

[DOI]

Recinda Sherman

Kevin A. Henry

David Lee

Proceedings of the HealthGIS 2012, 2012

2011

Investigation of the waste-removal chain through pervasive computing.

[BibT_eX]

[DOI]

IBM J. Res. Dev., 2011

On detecting active worms with varying scan rate.

[BibT_eX]

[DOI]

Comput. Commun., 2011

Cultural differences affecting quality and productivity in Western/Asian offshore software development.

[BibT_eX]

[DOI]

David Lee

Andy Smith

Mike Mortimer

Proceedings of the 3rd International Conference on Human Computer Interaction, 2011

Machine learning for implanted malicious code detection with incompletely specified system implementations.

[BibT_eX]

[DOI]

Yating Hsu

David Lee

Proceedings of the 19th annual IEEE International Conference on Network Protocols, 2011

Gender, Spatial Ability, and High-Stakes Testing.

[BibT_eX]

[DOI]

Teomara Rutherford

David Lee

Michael E. Martinez

Proceedings of the 33th Annual Meeting of the Cognitive Science Society, 2011

2010

Technical Infrastructure at Linguistic Data Consortium: Software and Hardware Resources for Linguistic Data Creation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Language Resources and Evaluation, 2010

Authentication and authorization protocol security property analysis with trace inclusion transformation and online minimization.

[BibT_eX]

[DOI]

Yating Hsu

David Lee

Proceedings of the 18th annual IEEE International Conference on Network Protocols, 2010

Multi-HDCS: Solving DisCSPs with Complex Local Problems Cooperatively.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2010

2009

Multi-Hyb: A Hybrid Algorithm for Solving DisCSPs with Complex Local Problems.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

Montage: a platform for physically navigating multiple pages of web content.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Human Factors in Computing Systems, 2009

A hybrid approach to solving coarse-grained DisCSPs.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008

A Hybrid Approach to Distributed Constraint Satisfaction.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence: Methodology, 2008

Corpus Linguistics with BNCweb - a Practical Guide.

[BibT_eX]

[DOI]

English corpus linguistics 6, Lang, ISBN: 978-3-631-56315-1, 2008

2007

Lazy flooding: a new technique for information dissemination in distributed network systems.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2007

Coping with Instant Messaging Worms - Statistical Modeling and Analysis.

[BibT_eX]

[DOI]

Zhijun Liu

David Lee

Proceedings of the 15th IEEE Workshop on Local & Metropolitan Area Networks, 2007

Network Court Protocol and Malicious Node Conviction.

[BibT_eX]

[DOI]

Na Li

David Lee

Proceedings of the IEEE International Conference on Network Protocols, 2007

2006

Network protocol system monitoring: a formal approach with passive testing.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2006

Real-time multi-scale brain data acquisition, assembly, and analysis using an end-to-end OptIPuter.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2006

Exploratory studies on social spaces between humans and a mechanical-looking robot.

[BibT_eX]

[DOI]

I. René J. A. te Boekhorst

David Lee

Connect. Sci., 2006

Effective Detection of Active Worms with Varying Scan Rate.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Security and Privacy in Communication Networks and the Workshops, 2006

Reinforcement Learning for a Human-Following Robot.

[BibT_eX]

[DOI]

Yang Wang

David Lee

Proceedings of the 15th IEEE International Symposium on Robot and Human Interactive Communication, 2006

Perception of Robot Smiles and Dimensions for Human-Robot Interaction Design.

[BibT_eX]

[DOI]

Mike Blow

Kerstin Dautenhahn

Andrew Appleby

Chrystopher L. Nehaniv

David Lee

Proceedings of the 15th IEEE International Symposium on Robot and Human Interactive Communication, 2006

The art of designing robot faces: dimensions for human-robot interaction.

[BibT_eX]

[DOI]

Mike Blow

Kerstin Dautenhahn

Andrew Appleby

Chrystopher L. Nehaniv

David Lee

Proceedings of the 1st ACM SIGCHI/SIGART Conference on Human-Robot Interaction, 2006

2005

Ecce Homology.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Computer Graphics and Interactive Techniques, 2005

Dynamically configurable robotic sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

Heliomote: enabling long-lived sensor networks through solar energy harvesting.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

The influence of subjects' personality traits on personal spatial zones in a human-robot interaction experiment.

[BibT_eX]

[DOI]

Chrystopher L. Nehaniv

David Lee

Iain P. Werry

Proceedings of the IEEE International Workshop on Robot and Human Interactive Communication, 2005

Coping with Nondeterminism in Network Protocol Testing.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2005

Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms.

[BibT_eX]

[DOI]

Keqin Li

David Lee

Proceedings of the Testing of Communicating Systems, 2005

Close encounters: spatial distances between people and a robot of mechanistic appearance.

[BibT_eX]

[DOI]

Chrystopher L. Nehaniv

Iain Werry

David Lee

Proceedings of the 5th IEEE-RAS International Conference on Humanoid Robots, 2005

RAGOBOT: A New Platform for Wireless Mobile Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing in Sensor Systems, 2005

Scientific grid activities in Cybermedia Center, Osaka University.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

Continuous Speech Recognition Using Modified Stack Decoding Algorithm.

[BibT_eX]

[DOI]

David Lee

Proceedings of the Proceedings, 2005

2004

Path Protection and Blocking Probability Minimization in Optical Networks.

[BibT_eX]

[DOI]

David Lee

Lavy Libman

Ariel Orda

Proceedings of the Proceedings IEEE INFOCOM 2004, 2004

On the Effectiveness of Relevance Profiling.

[BibT_eX]

[DOI]

David J. Harper

David Lee

Proceedings of the ADCS 2004, 2004

2003

Prevention of deadlocks and livelocks in lossless backpressured packet networks.

[BibT_eX]

[DOI]

Mark J. Karol

S. Jamaloddin Golestani

David Lee

IEEE/ACM Trans. Netw., 2003

The Telescience Portal for advanced tomography applications.

[BibT_eX]

[DOI]

J. Parallel Distributed Comput., 2003

Fault detection in Rule-based Software systems.

[BibT_eX]

[DOI]

Dong Wang

Ruibing Hao

David Lee

Inf. Softw. Technol., 2003

Global Telescience featuring IPv6 at iGrid2002.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2003

2002

A dynamic power and rate joint allocation algorithm for mobile multimedia DS-CDMA networks based on utility functions.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on Personal, 2002

A Formal Approach for Passive Testing of Protocol Data Portions.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002

2001

Test Sequence Selection.

[BibT_eX]

David Lee

Ruibing Hao

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

1999

Robotic sensing for the partially sighted.

[BibT_eX]

[DOI]

Robotics Auton. Syst., 1999

1998

Editorial - Protocols and Software Paradigms of Mobile Networks.

[BibT_eX]

Imrich Chlamtac

David Lee

Mischa Schwartz

Mob. Networks Appl., 1998

A low-cost system using sparse vision for navigation in the urban environment.

[BibT_eX]

[DOI]

Martin S. Snaith

David Lee

Penny Probert

Image Vis. Comput., 1998

A stereo vision-based aid for the visually impaired.

[BibT_eX]

[DOI]

Image Vis. Comput., 1998

1997

<i>Learned Publishing</i>: The Bell Years.

[BibT_eX]

[DOI]

David Lee

Learn. Publ., 1997

Quantitative Evaluation of the Exploration Strategies of a Mobile Robot.

[BibT_eX]

[DOI]

David Lee

Michael Recce

Int. J. Robotics Res., 1997

The effect of narrowbeam antenna and multiple tiers on system capacity in CDMA wireless local loop.

[BibT_eX]

[DOI]

David Lee

Ce Xu

IEEE Commun. Mag., 1997

1996

Audio Signal Restoration Using Higher-order Spectra.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Symposium on Signal Processing and Its Applications, 1996

Validation-Based Test Sequence Generation for Networks of Extended Finite State Machines.

[BibT_eX]

Samuel Huang

David Lee

Mark G. Staskauskas

Proceedings of the Formal Description Techniques IX: Theory, 1996

1995

Feature Testing of Communications Protocols.

[BibT_eX]

[DOI]

David Lee

Proceedings of the 4th International Conference on Computer Communications and Networks (ICCCN '95), 1995

1994

Thin Plate Splines with Discontinuities and Fast Algorithms for Their Computation.

[BibT_eX]

[DOI]

David Lee

Jyh-Jen Horng Shiau

SIAM J. Sci. Comput., 1994

The S3mp Scalable Shared Memory Multiprocessor.

[BibT_eX]

Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

The PowerPC 603 Microprocessor: Performance Analysis and Design Trade-offs.

[BibT_eX]

[DOI]

Proceedings of the Spring COMPCON 94, Digest of Papers, San Francisco, California, USA, February 28, 1994

1993

The S3.mp Architecture: A Local Area Multiprocessor.

[BibT_eX]

[DOI]

Proceedings of the 5th Annual ACM Symposium on Parallel Algorithms and Architectures, 1993

1992

Liveboard: A Large Interactive Display Supporting Group Meetings, Presentations, and Remote Collaboration.

[BibT_eX]

[DOI]

William C. Janssen Jr.

Proceedings of the Conference on Human Factors in Computing Systems, 1992

1991

Message Posting Protocol (MPP).

[BibT_eX]

[DOI]

Shannon Yeh

David Lee

RFC, February, 1991

Residual Analysis for Feature Detection.

[BibT_eX]

[DOI]

Minghua Chen

David Lee

Theodosios Pavlidis

IEEE Trans. Pattern Anal. Mach. Intell., 1991

1990

Some results on feature detection using residual analysis.

[BibT_eX]

[DOI]

Minghua Chen

David Lee

Theo Pavlidis

Proceedings of the 10th IAPR International Conference on Pattern Recognition, 1990

1989

VLSI Package Reliability Risk Due to Accelerated Environmental Testing.

[BibT_eX]

[DOI]

David Haupert

Fu-Gin Chen

David Lee

Proceedings of the Proceedings International Test Conference 1989, 1989

1988

Some computational aspects of low-level computer vision.

[BibT_eX]

[DOI]

David Lee

Proc. IEEE, 1988

1985

Comparator with Completion Signal.

[BibT_eX]

[DOI]

David Lee

IEEE Trans. Computers, 1985

Optimal algorithms for image understanding: Current status and future plans.

[BibT_eX]

[DOI]

David Lee

J. Complex., 1985

1978

A distributed processing system for naval data communication networks.

[BibT_eX]

Wesley W. Chu

Brandon Iffla

David Lee

Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978

David Lee

Bibliography

Loading...