Xi Wang

According to our database1, Xi Wang authored at least 243 papers between 1989 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Fast Defect Inspection Based on Data-Driven Photometric Stereo.
IEEE Trans. Instrumentation and Measurement, 2019

How many triangles and quadrilaterals are there in an n-dimensional augmented cube?
Theor. Comput. Sci., 2019

Synthesis of Supervisory Control With Partial Observation on Normal State-Tree Structures.
IEEE Trans. Automation Science and Engineering, 2019

Highly Sensitive and Durable Structured Fibre Sensors for Low-Pressure Measurement in Smart Skin.
Sensors, 2019

Intelligent operation of heavy haul train with data imbalance: A machine learning method.
Knowl.-Based Syst., 2019

A multilevel sampling strategy based memetic differential evolution for multimodal optimization.
Neurocomputing, 2019

Wireless Sensor Networks Suitable for Large-Scale Heterogeneous Networking.
Int. J. Online Biomed. Eng., 2019

Circuit modeling and efficiency analysis for wireless power transfer system with shielding.
I. J. Circuit Theory and Applications, 2019

Mining user-generated content in an online smoking cessation community to identify smoking status: A machine learning approach.
Decision Support Systems, 2019

Center of circle after perspective transformation.
CoRR, 2019

An Adaptive Prognostic Approach for Newly Developed System With Three-Source Variability.
IEEE Access, 2019

Comparison of Sentiment Analysis and User Ratings in Venue Recommendation.
Proceedings of the Advances in Information Retrieval, 2019

Evaluating Similarity Metrics for Latent Twitter Topics.
Proceedings of the Advances in Information Retrieval, 2019

The Mental Image Revealed by Gaze Tracking.
Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, 2019

2018
DeepProduct: Mobile Product Search With Portable Deep Features.
TOMCCAP, 2018

Tracking the gaze on objects in 3D: how do people really look at the bunny?
ACM Trans. Graph., 2018

Combining SDN and ICN for Network Survivability Improvement.
J. Internet Serv. Inf. Secur., 2018

BCDC: A High-Performance, Server-Centric Data Center Network.
J. Comput. Sci. Technol., 2018

Supervisory control of state-tree structures with partial observation.
Inf. Sci., 2018

Security Optimization of Wireless Sensor Networks Based on Cloud Platform.
Int. J. Online Eng., 2018

LP-WaveNet: Linear Prediction-based WaveNet Speech Synthesis.
CoRR, 2018

GWAS summary-based pathway analysis correcting for the genetic confounding impact of environmental exposures.
Briefings in Bioinformatics, 2018

Priority-free conditionally-preemptive scheduling of modular sporadic real-time systems.
Automatica, 2018

Energy-Efficient Power Allocation Scheme for Distributed Antenna System Over Composite Fading Channels.
IEEE Access, 2018

xBGAS: Toward a RISC-V ISA Extension for Global, Scalable Shared Memory.
Proceedings of the Workshop on Memory Centric High Performance Computing, 2018

Research on Balance Strategy of Supervision and Incentive of P2P Lending Platform.
Proceedings of the 22nd Pacific Asia Conference on Information Systems, 2018

Nickel: A Framework for Design and Verification of Information Flow Control Systems.
Proceedings of the 13th USENIX Symposium on Operating Systems Design and Implementation, 2018

Vertex-centric distributed computation for mapping virtual networks across domains.
Proceedings of the 2018 IEEE/IFIP Network Operations and Management Symposium, 2018

Energy-Efficient Power Allocation Scheme Based on Discrete-Rate Adaptive Modulation in Distributed Antenna System.
Proceedings of the Machine Learning and Intelligent Communications, 2018

Dynamic Space-time Resource Allocation for Signal-less Intersection Management in a Connected Autonomous Vehicle Environment.
Proceedings of the 2018 IEEE Intelligent Vehicles Symposium, 2018

Frame Selection in SI-DNN Phonetic Space with WaveNet Vocoder for Voice Conversion without Parallel Training Data.
Proceedings of the 11th International Symposium on Chinese Spoken Language Processing, 2018

Optimized Contrast Enhancements to Improve Robustness of Visual Tracking in a SLAM Relocalisation Context.
Proceedings of the 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2018

A New Glottal Neural Vocoder for Speech Synthesis.
Proceedings of the Interspeech 2018, 2018

Cross-Cultural Comparison of User Engagement in Online Health Communities.
Proceedings of the Smart Health - International Conference, 2018

Memory Coalescing for Hybrid Memory Cube.
Proceedings of the 47th International Conference on Parallel Processing, 2018

Multiple Layers of Contrasted Images for Robust Feature-Based Visual Tracking.
Proceedings of the 2018 IEEE International Conference on Image Processing, 2018

An Evolutionary Algorithm Based on Multi-view and Prior Information for Community Detection.
Proceedings of the Cloud Computing and Security - 4th International Conference, 2018

GoblinCore-64: A RISC-V Based Architecture for Data Intensive Computing.
Proceedings of the 2018 IEEE High Performance Extreme Computing Conference, 2018

MultiNyx: a multi-level abstraction framework for systematic analysis of hypervisors.
Proceedings of the Thirteenth EuroSys Conference, 2018

Neurophysiological Evaluation of a Customizable μECoG-based Wireless Brain Implant.
Proceedings of the 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2018

Spatial- Temporal Attention for Image Captioning.
Proceedings of the Fourth IEEE International Conference on Multimedia Big Data, 2018

2017
Optimal Priority-Free Conditionally-Preemptive Real-Time Scheduling of Periodic Tasks Based on DES Supervisory Control.
IEEE Trans. Systems, Man, and Cybernetics: Systems, 2017

Unit Commitment Incorporating Spatial Distribution Control of Air Pollutant Dispersion.
IEEE Trans. Industrial Informatics, 2017

An auditing language for preventing correlated failures in the cloud.
PACMPL, 2017

A heat diffusion model based algorithm for personalized influence maximization in social network.
J. High Speed Networks, 2017

Cycles Embedding in Exchanged Crossed Cube.
Int. J. Found. Comput. Sci., 2017

A Fault-Free Unicast Algorithm in the Generalized Hypercube with Restricted Faulty Vertices.
Int. J. Found. Comput. Sci., 2017

Self-Healing Services with Software-Programmed Networking.
IEEE Communications Standards Magazine, 2017

Large-Scale Domain Adaptation via Teacher-Student Learning.
CoRR, 2017

Aggregating Frame-level Features for Large-Scale Video Classification.
CoRR, 2017

A Survey of Ant Colony Optimization Based Routing Protocols for Mobile Ad Hoc Networks.
IEEE Access, 2017

Hyperkernel: Push-Button Verification of an OS Kernel.
Proceedings of the 26th Symposium on Operating Systems Principles, 2017

Pressure-Driven Hardware Managed Thread Concurrency for Irregular Applications.
Proceedings of the Seventh Workshop on Irregular Applications: Architectures and Algorithms, 2017

Multi-lingual Scene Text Detection Based on Fully Convolutional Networks.
Proceedings of the Advances in Multimedia Information Processing - PCM 2017, 2017

LBFM: Multi-Dimensional Membership Index for Block-Level Data Skipping.
Proceedings of the 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), 2017

Large-Scale Domain Adaptation via Teacher-Student Learning.
Proceedings of the Interspeech 2017, 2017

OpenMP Memkind: An Extension for Heterogeneous Physical Memories.
Proceedings of the 46th International Conference on Parallel Processing Workshops, 2017

Efficient Data Blocking and Skipping Framework Applying Heuristic Rules.
Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017

Adaptive usage of K-means in evolutionary optimized data clustering.
Proceedings of the 2017 International Conference on Machine Learning and Cybernetics, 2017

Customizing Progressive JPEG for Efficient Image Storage.
Proceedings of the 9th USENIX Workshop on Hot Topics in Storage and File Systems, 2017

OpenSoC system architect: An open toolkit for building soft-cores on FPGAs.
Proceedings of the 27th International Conference on Field Programmable Logic and Applications, 2017

An Empirical Study on the Correctness of Formally Verified Distributed Systems.
Proceedings of the Twelfth European Conference on Computer Systems, 2017

Target Detection in Sea Clutter Based on ELM.
Proceedings of the Wireless Sensor Networks, 2017

Cost-Efficient Influence Maximization in Online Social Networks.
Proceedings of the Fifth International Conference on Advanced Cloud and Big Data, 2017

2016
Recent advances in metaheuristic algorithms: Does the Makara dragon exist?
The Journal of Supercomputing, 2016

Dynamic Multiple-Period Reconfiguration of Real-Time Scheduling Based on Timed DES Supervisory Control.
IEEE Trans. Industrial Informatics, 2016

An efficient algorithm to construct disjoint path covers of DCell networks.
Theor. Comput. Sci., 2016

Gate length dependence of bias temperature instability behavior in short channel SOI MOSFETs.
Microelectronics Reliability, 2016

Vertex-disjoint paths in DCell networks.
J. Parallel Distrib. Comput., 2016

An Evolutionary Method for the Formal Specification Construction of Service-Based Software.
International Journal of Software Engineering and Knowledge Engineering, 2016

New reliable H filter design for networked control systems with external disturbances and randomly occurring sensor faults.
Neurocomputing, 2016

BioTopic: a topic-driven biological literature mining system.
IJDMB, 2016

Fast Summarization of User-Generated Videos: Exploiting Semantic, Emotional, and Quality Clues.
IEEE MultiMedia, 2016

The restricted h-connectivity of the data center network DCell.
Discrete Applied Mathematics, 2016

A differential approach to undefined behavior detection.
Commun. ACM, 2016

Research Collaborations in Multidisciplinary Institutions: a Case Study of iSchools.
Proceedings of the 25th International Conference on World Wide Web, 2016

Joint beamforming and jamming design for secure cooperative hybrid satellite-terrestrial relay network.
Proceedings of the 25th Wireless and Optical Communication Conference, 2016

An energy-efficient scheme for data collection in wireless sensor networks.
Proceedings of the 25th Wireless and Optical Communication Conference, 2016

Automated Safety Analysis on Scenario-Based Requirements for Train Control System.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Investigating Regional Prejudice in China Through the Lens of Weibo.
Proceedings of the Social Informatics - 8th International Conference, 2016

Automatic support for formal specification construction using pattern knowledge.
Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 2016

Sentiment Analysis of Chinese Microblog Message using Neural Network-based Vector Representation for Measuring Regional Prejudice.
Proceedings of the 20th Pacific Asia Conference on Information Systems, 2016

Push-Button Verification of File Systems via Crash Refinement.
Proceedings of the 12th USENIX Symposium on Operating Systems Design and Implementation, 2016

Multi-Stream Multi-Class Fusion of Deep Networks for Video Classification.
Proceedings of the 2016 ACM Conference on Multimedia Conference, 2016

Exploiting Objects with LSTMs for Video Categorization.
Proceedings of the 2016 ACM Conference on Multimedia Conference, 2016

Matching User Photos to Online Products with Robust Deep Features.
Proceedings of the 2016 ACM on International Conference on Multimedia Retrieval, 2016

3D Fully Convolutional Networks for Intervertebral Disc Localization and Segmentation.
Proceedings of the Medical Imaging and Augmented Reality - 7th International Conference, 2016

Concurrent Dynamic Memory Coalescing on GoblinCore-64 Architecture.
Proceedings of the Second International Symposium on Memory Systems, 2016

Optimal control of heavy haul train on steep downward slope.
Proceedings of the 19th IEEE International Conference on Intelligent Transportation Systems, 2016

Automated mitosis detection with deep regression networks.
Proceedings of the 13th IEEE International Symposium on Biomedical Imaging, 2016

Integral Nonlinear Fitting and Calibration of High Precision Analog-Digital Converters.
Proceedings of the 13th International Conference on Embedded Software and Systems, 2016

Design of near perfect reconstruction prototype filter with FFT interpolation.
Proceedings of the 2016 IEEE International Conference on Digital Signal Processing, 2016

Si n-TFETs on ultra thin body with suppressed ambipolarity.
Proceedings of the 46th European Solid-State Device Research Conference, 2016

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

A Compact In-memory Index for Managing Set Membership Queries on Streaming Data.
Proceedings of the Big Data Computing and Communications - Second International Conference, 2016

Logic Gate Based on Circular DNA Structure with Strand Displacement.
Proceedings of the Bio-inspired Computing - Theories and Applications, 2016

Specifying and Checking File System Crash-Consistency Models.
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016

Mitosis Detection in Breast Cancer Histology Images via Deep Cascaded Networks.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
A Differential Approach to Undefined Behavior Detection.
ACM Trans. Comput. Syst., 2015

Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks.
IEEE Trans. Automation Science and Engineering, 2015

A self-adaptive differential evolution algorithm with an external archive for unconstrained optimization problems.
Journal of Intelligent and Fuzzy Systems, 2015

The Face Object based HEVC System for Video Call.
EAI Endorsed Trans. Future Intellig. Educat. Env., 2015

Evaluating Two-Stream CNN for Video Classification.
CoRR, 2015

Modeling Spatial-Temporal Clues in a Hybrid Deep Learning Framework for Video Classification.
CoRR, 2015

Fusing Multi-Stream Deep Networks for Video Classification.
CoRR, 2015

Hamiltonian Properties of DCell Networks.
CoRR, 2015

Hamiltonian Properties of DCell Networks.
Comput. J., 2015

Digital estimation and calibration algorithm for 2-order nonlinearity mismatch in time-interleaved sampling system.
Proceedings of the 38th International Conference on Telecommunications and Signal Processing, 2015

A Tool for Supporting Requirements Formalization Based on Specification Pattern Knowledge.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Toward a Dependability Case Language and Workflow for a Radiation Therapy System.
Proceedings of the 1st Summit on Advances in Programming Languages, 2015

Verdi: a framework for implementing and formally verifying distributed systems.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

The Evolution of User Roles in Online Health Communities - A Social Support Perspective.
Proceedings of the 19th Pacific Asia Conference on Information Systems, 2015

Modeling Spatial-Temporal Clues in a Hybrid Deep Learning Framework for Video Classification.
Proceedings of the 23rd Annual ACM Conference on Multimedia Conference, MM '15, Brisbane, Australia, October 26, 2015

Evaluating Two-Stream CNN for Video Classification.
Proceedings of the 5th ACM on International Conference on Multimedia Retrieval, 2015

Fudan-Huawei at MediaEval 2015: Detecting Violent Scenes and Affective Impact in Movies with Deep Learning.
Proceedings of the Working Notes Proceedings of the MediaEval 2015 Workshop, 2015

Robust generation dispatch with wind power considering air pollutant dispersion.
Proceedings of the 2015 IEEE Power & Energy Society Innovative Smart Grid Technologies Conference, 2015

Predicting User Participation and Detecting User Role Diffusion in Online Health Communities.
Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

The Evolution and Diffusion of User Roles in Online Health Communities: A Social Support Perspective.
Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

Supporting Requirements Analysis Using Pattern-Based Formal Specification Construction.
Proceedings of the Formal Methods and Software Engineering, 2015

A full symbolic compositional reachability analysis of timed automata based on BDD.
Proceedings of the Seventh International Conference on Advanced Computational Intelligence, 2015

Pervasive Information Visualization: Toward an Information Visualization Design Methodology for Multi-device Co-located Synchronous Collaboration.
Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 2015

2014
Link Prediction in Heterogeneous Collaboration Networks.
Proceedings of the Social Network Analysis - Community Detection and Evolution, 2014

A differential approach to undefined behavior detection.
PhD thesis, 2014

Face Distortion Recovery Based on Online Learning Database for Conversational Video.
IEEE Trans. Multimedia, 2014

Digital flow for shape decomposition: Application to 3-D microtomographic images of snow.
Pattern Recognition Letters, 2014

Oil supply between OPEC and non-OPEC based on game theory.
Int. J. Systems Science, 2014

Virtualise manufacturing capabilities in the cloud: requirements, architecture and implementation.
IJMR, 2014

Computer-Aided Formalization of Requirements Based on Patterns.
IEICE Transactions, 2014

User Recommendations in Reciprocal and Bipartite Social Networks-An Online Dating Case Study.
IEEE Intelligent Systems, 2014

Comparison of Different Color Spaces for Image Segmentation using Graph-cut.
Proceedings of the VISAPP 2014, 2014

A novel multi-feature fusion and sparse coding-based framework for image retrieval.
Proceedings of the 2014 IEEE International Conference on Systems, Man, and Cybernetics, 2014

Social Support and User engagement in Online Health Communities.
Proceedings of the 18th Pacific Asia Conference on Information Systems, 2014

Jitk: A Trustworthy In-Kernel Interpreter Infrastructure.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Identifying Information Disclosure in Web Applications with Retroactive Auditing.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014

Cybertron: pushing the limit on I/O reduction in data-parallel programs.
Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications, 2014

Enhancing independence for people with low vision to use daily panel-interface machines.
Proceedings of the 6th International Conference on Mobile Computing, 2014

Eye contact reminder system for people with autism.
Proceedings of the 6th International Conference on Mobile Computing, 2014

Secure session on mobile: An exploration on combining biometric, trustzone, and user behavior.
Proceedings of the 6th International Conference on Mobile Computing, 2014

Real-time summarization of user-generated videos based on semantic recognition.
Proceedings of the ACM International Conference on Multimedia, MM '14, Orlando, FL, USA, November 03, 2014

Eye Contact Conditioning in Autistic Children Using Virtual Reality Technology.
Proceedings of the Pervasive Computing Paradigms for Mental Health, 2014

Graph-cut segmentation of polarimetric SAR images.
Proceedings of the 2014 IEEE Geoscience and Remote Sensing Symposium, 2014

Social Support and User Engagement in Online Health Communities.
Proceedings of the Smart Health - International Conference, 2014

Construction Land Layout in Qi River Ecological District of Hebi City Based on GIS.
Proceedings of the Geo-Informatics in Resource Management and Sustainable Ecosystem, 2014

Privacy preserving large scale DNA read-mapping in MapReduce framework using FPGAs.
Proceedings of the 24th International Conference on Field Programmable Logic and Applications, 2014

High-Resolution Stereo Datasets with Subpixel-Accurate Ground Truth.
Proceedings of the Pattern Recognition - 36th German Conference, 2014

A Node-to-Set Disjoint Path Routing Algorithm in DCell Networks.
Proceedings of the Second International Conference on Advanced Cloud and Big Data, 2014

Why does cryptographic software fail?: a case study and open problems.
Proceedings of the Asia-Pacific Workshop on Systems, 2014

2013
Hamiltonian properties of honeycomb meshes.
Inf. Sci., 2013

Approximation Algorithms for Integrated Distribution Network Design Problems.
INFORMS Journal on Computing, 2013

Model checking-based safety verification for railway signal safety protocol-I.
IJCAT, 2013

User recommendation in reciprocal and bipartite social networks - a case study of online dating.
CoRR, 2013

Towards optimization-safe systems: analyzing the impact of undefined behavior.
Proceedings of the ACM SIGOPS 24th Symposium on Operating Systems Principles, 2013

An Approach to Declaring Data Types for Formal Specifications.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2013

Guided Requirements Clarification for Automatic Formalization.
Proceedings of the 14th ACIS International Conference on Software Engineering, 2013

Computerized-eyewear based face recognition system for improving social lives of prosopagnosics.
Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, 2013

A real-time selective speaker cancellation system for relieving social anxiety in autistics.
Proceedings of the 7th International Conference on Pervasive Computing Technologies for Healthcare and Workshops, 2013

One-to-One Disjoint Path Covers in DCell.
Proceedings of the Network and Parallel Computing - 10th IFIP International Conference, 2013

Circular Dimensional-Permutations and Reliable Broadcasting for Hypercubes and Möbius Cubes.
Proceedings of the Network and Parallel Computing - 10th IFIP International Conference, 2013

Multi-label relational neighbor classification using social context features.
Proceedings of the 19th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 2013

Research of PID Algorithm for Valve Controlled Hydraulic Motor Variable Rate Fertilizer Control System.
Proceedings of the Computer and Computing Technologies in Agriculture VII, 2013

Speaker localization and cancellation for improving social attention.
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems (with CPS Week 2013), 2013

Study for the carbon emission influencing factors of Henan province based on LMDI model.
Proceedings of the 21st International Conference on Geoinformatics, 2013

Online Learning Based Face Distortion Recovery for Conversational Video Coding.
Proceedings of the 2013 Data Compression Conference, 2013

Link prediction in multi-relational collaboration networks.
Proceedings of the Advances in Social Networks Analysis and Mining 2013, 2013

Security bugs in embedded interpreters.
Proceedings of the Asia-Pacific Workshop on Systems, 2013

Accumulated-carrier screening effect based investigation for the pixellated CdZnTe radiation detector.
Proceedings of the IEEE 12th International Conference on Cognitive Informatics and Cognitive Computing, 2013

An approach to representing and utilizing specification pattern knowledge for computer-aided formalization of requirements.
Proceedings of the 2013 IEEE/ACIS 12th International Conference on Computer and Information Science, 2013

2012
Tail asymptotics for M/M/c retrial queues with non-persistent customers.
Operational Research, 2012

On Kalman Smoothing for Wireless Sensor Networks Systems with Multiplicative Noises.
J. Applied Mathematics, 2012

Dual stream data exploration.
IJDMMM, 2012

Development of a Supporting Tool for Formalizing Software Requirements.
Proceedings of the Structured Object-Oriented Formal Language and Method, 2012

Improving Integer Security for Systems with KINT.
Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation, 2012

Consistent spatio-temporal filling of disocclusions in the multiview-video-plus-depth format.
Proceedings of the 14th IEEE International Workshop on Multimedia Signal Processing, 2012

Research and Implementation of Measurement Data Wavelet De-noising and 3D Visualization of Farmland.
Proceedings of the Computer and Computing Technologies in Agriculture VI, 2012

Curvature-driven volumetric segmentation of binary shapes: An application to snow microstructure analysis.
Proceedings of the 21st International Conference on Pattern Recognition, 2012

A tweets recommendation algorithm based on user relationship and text emotional tendentiousness.
Proceedings of the 3rd IEEE International Conference on Network Infrastructure and Digital Content, 2012

Motion Based Perceptual Distortion and Rate Optimization for Video Coding.
Proceedings of the 2012 IEEE International Conference on Multimedia and Expo, 2012

Depth image-based rendering with spatio-temporally consistent texture synthesis for 3-D video with global motion.
Proceedings of the 19th IEEE International Conference on Image Processing, 2012

Undefined behavior: what happened to my code?
Proceedings of the Asia-Pacific Workshop on Systems, 2012

2011
Embedding meshes into twisted-cubes.
Inf. Sci., 2011

PRIS at TREC 2011 Legal Track Discovery Based on Relevant Feedback.
Proceedings of The Twentieth Text REtrieval Conference, 2011

Software fault isolation with API integrity and multi-principal modules.
Proceedings of the 23rd ACM Symposium on Operating Systems Principles 2011, 2011

Extracting Social Dimensions Using Fiedler Embedding.
Proceedings of the PASSAT/SocialCom 2011, Privacy, 2011

Dynamic Low Power Reconfigurations of Real-time Embedded Systems.
Proceedings of the PECCS 2011, 2011

Agriculture Wireless Temperature and Humidity Sensor Network Based on ZigBee Technology.
Proceedings of the Computer and Computing Technologies in Agriculture V, 2011

Visual perception based Lagrangian rate distortion optimization for video coding.
Proceedings of the 18th IEEE International Conference on Image Processing, 2011

Leveraging Network Properties for Trust Evaluation in Multi-agent Systems.
Proceedings of the 2011 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2011

A Pattern-Based Approach to Formal Specification Construction.
Proceedings of the Software Engineering, Business Continuity, and Education, 2011

Fabrication of nanostructured polymeric films and their geometric effects on cell growth.
Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011

Retroactive auditing.
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

Linux kernel vulnerabilities: state-of-the-art defenses and open problems.
Proceedings of the APSys '11 Asia Pacific Workshop on Systems, 2011

2010
Language-based replay via data flow cut.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Intrusion Recovery Using Selective Re-execution.
Proceedings of the 9th USENIX Symposium on Operating Systems Design and Implementation, 2010

Study for Organic Soybean Production Information Traceability System Based on Web.
Proceedings of the Computer and Computing Technologies in Agriculture IV, 2010

Independent Component Analysis Using Bregman Divergences.
Proceedings of the Trends in Applied Intelligent Systems, 2010

Motif Discovery and Feature Selection for CRF-based Activity Recognition.
Proceedings of the 20th International Conference on Pattern Recognition, 2010

Voice conversion: From spoken vowels to singing vowels.
Proceedings of the 2010 IEEE International Conference on Multimedia and Expo, 2010

A Pattern System to Support Refining Informal Ideas into Formal Expressions.
Proceedings of the Formal Methods and Software Engineering, 2010

2009
Clustering aggregation by probability accumulation.
Pattern Recognition, 2009

TCAD study on gate-all-around cylindrical (GAAC) transistor for CMOS scaling to the end of the roadmap.
Microelectronics Journal, 2009

Improving application security with data flow assertions.
Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Api hyperlinking via structural overlap.
Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Case Analysis of Farm Agriculture Machinery Informatization Management Network System.
Proceedings of the Computer and Computing Technologies in Agriculture III, 2009

Modern Agricultural Digital Management Network Information System of Heilongjiang Reclamation Area Farm.
Proceedings of the Computer and Computing Technologies in Agriculture III, 2009

A Network-Based Management Information System for Animal Husbandry in Farms.
Proceedings of the Computer and Computing Technologies in Agriculture III, 2009

Simulating Large-Scale P2P Assisted Video Streaming.
Proceedings of the 42st Hawaii International International Conference on Systems Science (HICSS-42 2009), 2009

2008
Practical considerations in the design of SRAM cells on SOI.
Microelectronics Journal, 2008

Towards Automatic Transformation from UML Model to FSM Model for Web Applications.
JSEA, 2008

Conditional correlation analysis for safe region-based memory management.
Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, 2008

R2: An Application-Level Kernel for Record and Replay.
Proceedings of the 8th USENIX Symposium on Operating Systems Design and Implementation, 2008

D3S: Debugging Deployed Distributed Systems.
Proceedings of the 5th USENIX Symposium on Networked Systems Design & Implementation, 2008

Agricultural Machines Management Andassignment System of Heilongjiang Reclamation Area.
Proceedings of the Computer and Computing Technologies in Agriculture II, Volume 1, 2008

Spectral aggregation for clustering ensemble.
Proceedings of the 19th International Conference on Pattern Recognition (ICPR 2008), 2008

Towards Automatic Inference of Task Hierarchies in Complex Systems.
Proceedings of the Fourth Workshop on Hot Topics in System Dependability, 2008

Hang analysis: fighting responsiveness bugs.
Proceedings of the 2008 EuroSys Conference, Glasgow, Scotland, UK, April 1-4, 2008, 2008

An Approach to Transforming UML Model to FSM Model for Automatic Testing.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

Evaluation Of The Deformity Of Cleft Nose Based On Statistical And Neural Network.
Proceedings of the International Conference on Bioinformatics & Computational Biology, 2008

Comparing and Analysing Gene Expression Patterns Across Animal Species Using 4DXpress.
Proceedings of the 6th Asia-Pacific Bioinformatics Conference, 2008

Visualization of Large-Scale Weighted Clustered Graph: A Genetic Approach.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008

2007
Rendering from compressed high dynamic range textures on programmable graphics hardware.
Proceedings of the 2007 Symposium on Interactive 3D Graphics, 2007

Adaptive Classifier Selection System Using Context-driven Genetic Algorithm.
Proceedings of the Frontiers in the Convergence of Bioscience and Information Technologies 2007, 2007

Two-level Classifier Scheme for Efficient Eye Location.
Proceedings of the Frontiers in the Convergence of Bioscience and Information Technologies 2007, 2007

2006
Mesh quilting for geometric texture synthesis.
ACM Trans. Graph., 2006

International real-time streaming of 4K digital cinema.
Future Generation Comp. Syst., 2006

The global lambda visualization facility: An international ultra-high-definition wide-area visualization collaboratory.
Future Generation Comp. Syst., 2006

Rendering Soft Shadows using Multilayered Shadow Fins.
Comput. Graph. Forum, 2006

Silhouette Texture.
Proceedings of the Eurographics Symposium on Rendering Techniques, Nicosia, Cyprus, 2006, 2006

AR-PIN/PDC: Flexible Advance Reservation of Intradomain and Interdomain Lightpaths.
Proceedings of the Global Telecommunications Conference, 2006. GLOBECOM '06, San Francisco, CA, USA, 27 November, 2006

LambdaBridge: A Scalable Architecture for Future Generation Terabit Applications.
Proceedings of the 3rd International Conference on Broadband Communications, 2006

A Flexible Advance Reservation Model for Multi-Domain WDM Optical Networks.
Proceedings of the 3rd International Conference on Broadband Communications, 2006

2005
TextureMontage.
ACM Trans. Graph., 2005

A Study on the Distribution and Cost Prediction of Requirements Changes in the Software Life-Cycle.
Proceedings of the Unifying the Software Process Spectrum, 2005

Weighted Flow Contention Graph and Its Applications in Wireless Ad Hoc Networks.
Proceedings of the Networking, 2005

2004
Infrastructureless Location Aware Configuration for Sensor Networks.
Proceedings of the 6th IEEE Workshop on Mobile Computing Systems and Applications (WMCSA 2004), 2004

Follow-me application: active visitor guidance system.
Proceedings of the 2nd International Conference on Embedded Networked Sensor Systems, 2004

Generalized Displacement Maps.
Proceedings of the 15th Eurographics Workshop on Rendering Techniques, 2004

A Middleware Based Mobile Scientific Computing System - MobileLab.
Proceedings of the Grid and Cooperative Computing, 2004

2003
View-dependent displacement mapping.
ACM Trans. Graph., 2003

A behavior-based collaborative multi-agent system.
Proceedings of the IEEE International Conference on Systems, 2003

Interactive Modeling of Tree Bark.
Proceedings of the 11th Pacific Conference on Computer Graphics and Applications (PG 2003), 2003

The Development of a Prototype of an Enterprise Marketing Decision Support System.
Proceedings of the ICEIS 2003, 2003

2002
Synthesis of bidirectional texture functions on arbitrary surfaces.
ACM Trans. Graph., 2002

1989
Proving the uniform boundedness of some commonly used control schemes for robots.
Proceedings of the 1989 IEEE International Conference on Robotics and Automation, 1989


  Loading...