David Lee

This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.

Bibliography

2024
Entropy and energy conservation for thermal atmospheric dynamics using mixed compatible finite elements.
J. Comput. Phys., January, 2024

2023
An entropy stable discontinuous Galerkin method for the spherical thermal shallow water equations.
CoRR, 2023

Conservation and stability in a discontinuous Galerkin method for the vector invariant spherical shallow water equations.
CoRR, 2023

Rosenbrock-Wanner Time Integration in Atmospheric Modelling.
CoRR, 2023

2022
Metered Boot: Trusted Framework for Application Usage Rights Management in Virtualized Ecosystems.
IEEE Trans. Netw. Serv. Manag., 2022

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

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

An energetically balanced, quasi-Newton integrator for non-hydrostatic vertical atmospheric dynamics.
J. Comput. Phys., 2021

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

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

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

Tutorial: A Lightweight Web Application for Software Vulnerability Demonstration.
Proceedings of the IEEE Secure Development Conference, 2021

Extended Tactile Perception: Vibration Sensing through Tools and Grasped Objects.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

CREATe: Clinical Report Extraction and Annotation Technology.
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.
ISPRS Int. J. Geo Inf., 2020

A learning analytics journey: Bridging the gap between technology services and the academic need.
Internet High. Educ., 2020

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

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



2019
MicroBTC: Efficient, Flexible and Fair Micropayment for Bitcoin Using Hash Chains.
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.
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.
J. Multivar. Anal., 2018

Efficient computation of multivariate empirical distribution functions at the observed values.
Comput. Stat., 2018

Analysing Forests Using Dense Point Clouds.
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.
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.
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.
Bioinform., 2017

2016
Helio X20: The first tri-gear mobile SoC with CorePilot™ 3.0 technology.
Proceedings of the 2016 IEEE Hot Chips 28 Symposium (HCS), 2016

Distinguishing Posed and Spontaneous Smiles by Facial Dynamics.
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.
New Media Soc., 2015

Scaling persistent connections for cloud services.
Comput. Networks, 2015

Electronic Contract Signing Without Using Trusted Third Party.
Proceedings of the Network and System Security - 9th International Conference, 2015

Dual Aperture Photography: Image and Depth from a Mobile Camera.
Proceedings of the 2015 IEEE International Conference on Computational Photography, 2015

Forager: designing location-aware applications for informal waste recyclers in Brazil.
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.
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).
Proceedings of the 28th International Conference on Informatics for Environmental Protection: ICT for Energy Effieciency, 2014

2013
Tracking Trash.
IEEE Pervasive Comput., 2013

Detecting job interference in large distributed multi-agent systems - A formal approach.
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.
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.
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.
Proceedings of the 12th Participatory Design Conference, 2012

Through the looking glass: mirror worlds for augmented awareness & capability.
Proceedings of the 20th ACM Multimedia Conference, MM '12, Nara, Japan, October 29, 2012

Modelling techniques for analysis of human activity patterns.
Proceedings of the 6th IEEE International Conference on Intelligent Systems, 2012

Traceback Attacks in Cloud - Pebbletrace Botnet.
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.
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.
Proceedings of the HealthGIS 2012, 2012

2011
Investigation of the waste-removal chain through pervasive computing.
IBM J. Res. Dev., 2011

On detecting active worms with varying scan rate.
Comput. Commun., 2011

Nemor: A congestion-aware protocol for anonymous peer-based content distribution.
Proceedings of the 2011 IEEE International Conference on Peer-to-Peer Computing, 2011

Cultural differences affecting quality and productivity in Western/Asian offshore software development.
Proceedings of the 3rd International Conference on Human Computer Interaction, 2011

Machine learning for implanted malicious code detection with incompletely specified system implementations.
Proceedings of the 19th annual IEEE International Conference on Network Protocols, 2011

Gender, Spatial Ability, and High-Stakes Testing.
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.
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.
Proceedings of the 18th annual IEEE International Conference on Network Protocols, 2010

Multi-HDCS: Solving DisCSPs with Complex Local Problems Cooperatively.
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.
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.
Proceedings of the 27th International Conference on Human Factors in Computing Systems, 2009

A hybrid approach to solving coarse-grained DisCSPs.
Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

2008
A Hybrid Approach to Distributed Constraint Satisfaction.
Proceedings of the Artificial Intelligence: Methodology, 2008

Corpus Linguistics with BNCweb - a Practical Guide.
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.
IEEE/ACM Trans. Netw., 2007

Coping with Instant Messaging Worms - Statistical Modeling and Analysis.
Proceedings of the 15th IEEE Workshop on Local & Metropolitan Area Networks, 2007

Network Court Protocol and Malicious Node Conviction.
Proceedings of the IEEE International Conference on Network Protocols, 2007

2006
Network protocol system monitoring: a formal approach with passive testing.
IEEE/ACM Trans. Netw., 2006

Real-time multi-scale brain data acquisition, assembly, and analysis using an end-to-end OptIPuter.
Future Gener. Comput. Syst., 2006

Exploratory studies on social spaces between humans and a mechanical-looking robot.
Connect. Sci., 2006

Effective Detection of Active Worms with Varying Scan Rate.
Proceedings of the Second International Conference on Security and Privacy in Communication Networks and the Workshops, 2006

Reinforcement Learning for a Human-Following Robot.
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.
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.
Proceedings of the 1st ACM SIGCHI/SIGART Conference on Human-Robot Interaction, 2006

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

Dynamically configurable robotic sensor networks.
Proceedings of the 3rd International Conference on Embedded Networked Sensor Systems, 2005

Heliomote: enabling long-lived sensor networks through solar energy harvesting.
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.
Proceedings of the IEEE International Workshop on Robot and Human Interactive Communication, 2005

Coping with Nondeterminism in Network Protocol Testing.
Proceedings of the Testing of Communicating Systems, 2005

Fault Detection of Hierarchical Networks with Probabilistic Testing Algorithms.
Proceedings of the Testing of Communicating Systems, 2005

Close encounters: spatial distances between people and a robot of mechanistic appearance.
Proceedings of the 5th IEEE-RAS International Conference on Humanoid Robots, 2005

RAGOBOT: A New Platform for Wireless Mobile Sensor Networks.
Proceedings of the Distributed Computing in Sensor Systems, 2005

Scientific grid activities in Cybermedia Center, Osaka University.
Proceedings of the 5th International Symposium on Cluster Computing and the Grid (CCGrid 2005), 2005

Continuous Speech Recognition Using Modified Stack Decoding Algorithm.
Proceedings of the Proceedings, 2005

2004
Path Protection and Blocking Probability Minimization in Optical Networks.
Proceedings of the Proceedings IEEE INFOCOM 2004, 2004

On the Effectiveness of Relevance Profiling.
Proceedings of the ADCS 2004, 2004

2003
Prevention of deadlocks and livelocks in lossless backpressured packet networks.
IEEE/ACM Trans. Netw., 2003

The Telescience Portal for advanced tomography applications.
J. Parallel Distributed Comput., 2003

Fault detection in Rule-based Software systems.
Inf. Softw. Technol., 2003

Global Telescience featuring IPv6 at iGrid2002.
Future Gener. Comput. Syst., 2003

2002
A dynamic power and rate joint allocation algorithm for mobile multimedia DS-CDMA networks based on utility functions.
Proceedings of the 13th IEEE International Symposium on Personal, 2002

A Formal Approach for Passive Testing of Protocol Data Portions.
Proceedings of the 10th IEEE International Conference on Network Protocols (ICNP 2002), 2002

2001
Test Sequence Selection.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001

1999
Robotic sensing for the partially sighted.
Robotics Auton. Syst., 1999

1998
Editorial - Protocols and Software Paradigms of Mobile Networks.
Mob. Networks Appl., 1998

A low-cost system using sparse vision for navigation in the urban environment.
Image Vis. Comput., 1998

A stereo vision-based aid for the visually impaired.
Image Vis. Comput., 1998

1997
<i>Learned Publishing</i>: The Bell Years.
Learn. Publ., 1997

Quantitative Evaluation of the Exploration Strategies of a Mobile Robot.
Int. J. Robotics Res., 1997

The effect of narrowbeam antenna and multiple tiers on system capacity in CDMA wireless local loop.
IEEE Commun. Mag., 1997

1996
Audio Signal Restoration Using Higher-order Spectra.
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.
Proceedings of the Formal Description Techniques IX: Theory, 1996

1995
Feature Testing of Communications Protocols.
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.
SIAM J. Sci. Comput., 1994

The S3mp Scalable Shared Memory Multiprocessor.
Proceedings of the 27th Annual Hawaii International Conference on System Sciences (HICSS-27), 1994

The PowerPC 603 Microprocessor: Performance Analysis and Design Trade-offs.
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.
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.
Proceedings of the Conference on Human Factors in Computing Systems, 1992

1991
Message Posting Protocol (MPP).
RFC, February, 1991

Residual Analysis for Feature Detection.
IEEE Trans. Pattern Anal. Mach. Intell., 1991

1990
Some results on feature detection using residual analysis.
Proceedings of the 10th IAPR International Conference on Pattern Recognition, 1990

1989
VLSI Package Reliability Risk Due to Accelerated Environmental Testing.
Proceedings of the Proceedings International Test Conference 1989, 1989

1988
Some computational aspects of low-level computer vision.
Proc. IEEE, 1988

1985
Comparator with Completion Signal.
IEEE Trans. Computers, 1985

Optimal algorithms for image understanding: Current status and future plans.
J. Complex., 1985

1978
A distributed processing system for naval data communication networks.
Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978


  Loading...