|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 55 occurrences of 48 keywords
|
|
|
|
|
Results
Found 74 publication records. Showing 74 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dayou Liu, Yuxiao Huang, Qiangyuan Yu, Juan Chen, Haiyang Jia |
A search problem in complex diagnostic Bayesian networks.  |
Knowl.-Based Syst.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre-Yves Strub, Nikhil Swamy, Cédric Fournet, Juan Chen |
Self-certification: bootstrapping certified typecheckers in F* with Coq.  |
POPL  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chong-Jun Li, Juan Chen |
On the dimensions of bivariate spline spaces and the stability of the dimensions.  |
J. Computational Applied Mathematics  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Anxue Zhang |
An Efficient Method to Reduce the Numerical Dispersion in the HIE-FDTD Scheme.  |
Wireless Engineering and Technology  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Wang, Canqun Yang, Yunfei Du, Juan Chen, Huizhan Yi, Weixia Xu |
Optimizing Linpack Benchmark on GPU-Accelerated Petascale Supercomputer.  |
J. Comput. Sci. Technol.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Jinchang Ren, Jianmin Jiang |
Modelling of content-aware indicators for effective determination of shot boundaries in compressed MPEG videos.  |
Multimedia Tools Appl.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Borgström, Juan Chen, Nikhil Swamy |
Verifying stateful programs with substructural state and hoare types.  |
PLPV  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | M. Emre Celebi, Quan Wen, Juan Chen |
Color quantization using c-means clustering algorithms.  |
ICIP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikhil Swamy, Juan Chen, Cédric Fournet, Pierre-Yves Strub, Karthikeyan Bhargavan, Jean Yang |
Secure distributed programming with value-dependent types.  |
ICFP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Hongli Zhang, Binxing Fang, Xiaojiang Du, Lihua Yin, Xiang-Zhan Yu |
Towards Efficient Anonymous Communications in Sensor Networks.  |
GLOBECOM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Xiaoye Qi, Bohong Liu, Deyi Wang |
Analysis of failure mechanism and stress influence on cylinder.  |
EMEIT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongling Fu, Yao Pang, Hesong Liu, Juan Chen |
Switching transient simulation of redundant actuation system with mechanical backup.  |
EMEIT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Haiyang Jia, Dayou Liu, Changhai Zhang |
Composing Cardinal Direction Relations Based on Interval Algebra.  |
Int. J. Software and Informatics  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Jinchang Ren, Jianmin Jiang, Juan Chen, Stanley S. Ipson |
Extracting Objects and Events from MPEG Videos for Highlight-based Indexing and Retrieval.  |
Journal of Multimedia  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Ravi Chugh, Nikhil Swamy |
Type-preserving compilation of end-to-end verification of security enforcement.  |
PLDI  |
2010 |
DBLP DOI BibTeX RDF |
bytecode languages, compilers, authorization, functional programming, information flow, dependent types, security type systems, mobile code security |
| 1 | Ross Tate, Juan Chen, Chris Hawblitzel |
Inferable object-oriented typed assembly language.  |
PLDI  |
2010 |
DBLP DOI BibTeX RDF |
existential quantification, object-oriented compiler, typed assembly language (tal), type inference, certifying compiler |
| 1 | Juan Chen, Ze-Fang He, Xin Qi, Li-Heng Gu |
Filter time constant self-adjusting internal model control based on variable domain fuzzy control for time-delay uncertain systems.  |
FSKD  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Haiyang Jia, Dayou Liu, Changhai Zhang |
Composing Cardinal Direction Relations Basing on Interval Algebra.  |
KSEM  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Dong, Juan Chen, Tao Tang |
Power Measurements and Analyses of Massive Object Storage System.  |
CIT  |
2010 |
DBLP DOI BibTeX RDF |
Tianhe-1, object storage system, object storage server, WT1600, digital power meter, power measurement |
| 1 | Canqun Yang, Feng Wang, Yunfei Du, Juan Chen, Jie Liu, Huizhan Yi, Kai Lu |
Adaptive Optimization for Petascale Heterogeneous CPU/GPU Computing.  |
CLUSTER  |
2010 |
DBLP DOI BibTeX RDF |
adaptive, GPU, heterogeneous, petascale |
| 1 | Juan Chen, Junan Lu, Xiaoqun Wu, Wei Xing Zheng |
Impulsive synchronization on complex networks of nonlinear dynamical systems.  |
ISCAS  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiyang Jia, Juan Chen, Helong Yu, Dayou Liu |
Soil fertility grading with Bayesian Network transfer learning.  |
ICMLC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen |
A Flexible Fuzzy Comprehensive Evaluation Method.  |
IITSI  |
2010 |
DBLP DOI BibTeX RDF |
fuzzy compound operators, enterprise image, fuzzy comprehensive evaluation, universal logics, index system |
| 1 | Juan Chen |
Economic Grid Resource Scheduling Based on Utility Optimization.  |
IITSI  |
2010 |
DBLP DOI BibTeX RDF |
economic grid, utility optimization, QoS, resource scheduling, universal logics |
| 1 | Nikhil Swamy, Juan Chen, Ravi Chugh |
Enforcing Stateful Authorization and Information Flow Policies in Fine.  |
ESOP  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Haiyang Jia, Dayou Liu, Changhai Zhang |
Inversing Cardinal Direction Relations.  |
FCST  |
2010 |
DBLP DOI BibTeX RDF |
cardinal direction, rectangle relation, inversing, spatial relation, qualitative spatial reasoning |
| 1 | Jinchang Ren, Jianmin Jiang, Juan Chen |
Shot Boundary Detection in MPEG Videos Using Local and Global Indicators.  |
IEEE Trans. Circuits Syst. Video Techn.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Canqun Yang, Zhen Ge, Juan Chen, Feng Wang, Yunfei Du |
Solving 2D Nonlinear Unsteady Convection-Diffusion Equations on Heterogenous Platforms with Multiple GPUs.  |
ICPADS  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Stanley S. Ipson, Jianmin Jiang |
A fuzzy logic method of feature representation for shot boundary detection.  |
ICIP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Changgeng Li, Juan Chen, Xinbing Li |
A New Node Localization Algorithm of Wireless Sensor Networks.  |
CSIE  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Canqun Yang, Qiang Wu, Juan Chen, Zhen Ge |
GPU Acceleration of High-Speed Collision Molecular Dynamics Simulation.  |
CIT  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Michael T. M. Emmerich, Rui Li, Joost N. Kok, Thomas Bäck |
How to Do Recombination in Evolution Strategies: An Empirical Study.  |
IWINAC  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Chris Hawblitzel, Frances Perry, Michael Emmi, Jeremy Condit, Derrick Coetzee, Polyvios Pratikaki |
Type-preserving compilation for large-scale optimizing object-oriented compilers.  |
PLDI  |
2008 |
DBLP DOI BibTeX RDF |
object-oriented compilers, type-preserving compilation |
| 1 | Jinchang Ren, Juan Chen, Jianmin Jiang, Stanley S. Ipson |
Knowledge-Supported Segmentation and Semantic Contents Extraction from MPEG Videos for Highlight-Based Annotation, Indexing and Retrieval.  |
ICIC  |
2008 |
DBLP DOI BibTeX RDF |
MPEG, Video segmentation, skin detection, camera motion, shot detection, highlights extraction |
| 1 | Juan Chen, Jianmin Jiang |
University of Bradford at TRECVID 2008: Content Based Copy Detection Task.  |
TRECVID  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Yong Dong, Juan Chen, Xuejun Yang, Lin Deng, Xuemeng Zhang |
Energy-Oriented OpenMP Parallel Loop Scheduling.  |
ISPA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Bin Lu |
Load Balancing Oriented Economic Grid Resource Scheduling.  |
PACIIA  |
2008 |
DBLP DOI BibTeX RDF |
load balancing, grid computing, resource scheduling, economy |
| 1 | Juan Chen, Bin Lu |
An Universal Flexible Utility Function in Grid Economy.  |
PACIIA  |
2008 |
DBLP DOI BibTeX RDF |
resource management, utility function, grid economy, universal logics |
| 1 | Suwen Zhang, Juan Chen, Dandan Miao |
An Image Fusion Method Based on WNMF and Region Segmentation.  |
PACIIA  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Bin Lu, Juan Chen |
Grid Resource Organization and Discovery Based on Hyper Topology Space.  |
FSKD  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Yong Dong, Xuejun Yang, Panfeng Wang |
Energy-Constrained OpenMP Static Loop Scheduling.  |
HPCC  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Dong, Juan Chen, Xuejun Yang, Canqun Yang, Lin Peng |
Low Power Optimization for MPI Collective Operations.  |
ICYCS  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianmin Jiang, Zhengmin Li, Guoqiang Xiao, Juan Chen |
Real-time shot-cut detection in a compressed domain.  |
J. Electronic Imaging  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jinchang Ren, Jianmin Jiang, Juan Chen |
Determination of Shot Boundary in MPEG Videos for TRECVID 2007.  |
TRECVID  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Juan Chen, Yong Dong, Huizhan Yi, Xuejun Yang |
Power-Directed Software Prefetching Algorithm with Dynamic Voltage Scaling.  |
International Conference on Computational Science  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Chen, Lingjun Zou, Juan Chen |
An efficient algorithm for multiple sequences alignment based on ant colony algorithms.  |
GEM  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bin Lu, Juan Chen |
Multi-granular Control of Double Inverted Pendulum Based on Universal Logics Fuzzy Neural Networks.  |
ISNN  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen |
A typed intermediate language for compiling multiple inheritance.  |
POPL  |
2007 |
DBLP DOI BibTeX RDF |
class and object encoding, multiple inheritance, typed intermediate language |
| 1 | Juan Chen, Lihong Xu, Changliang Yuan |
IPGA based multi-objective compatible control algorithm and its application in oversaturated adjacent intersection control.  |
IEEE Congress on Evolutionary Computation  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Dayou Liu, Changhai Zhang, Qi Xie |
Combinative Reasoning with RCC5 and Cardinal Direction Relations.  |
KSEM  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Dayou Liu, Haiyang Jia, Changhai Zhang |
Cardinal Direction Relations in 3D Space.  |
KSEM  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiyang Jia, Dayou Liu, Juan Chen, Xin Liu |
A Hybrid Approach for Learning Markov Equivalence Classes of Bayesian Network.  |
KSEM  |
2007 |
DBLP DOI BibTeX RDF |
Markov equivalence class, condition independence test, Bayesian network, Structural learning |
| 1 | Chris Hawblitzel, Heng Huang, Lea Wittie, Juan Chen |
A garbage-collecting typed assembly language.  |
TLDI  |
2007 |
DBLP DOI BibTeX RDF |
garbage collection, typed assembly language |
| 1 | Juan Chen, Yong Dong, Huizhan Yi, Xuejun Yang |
Power-Aware Software Prefetching.  |
ICESS ![In: Embedded Software and Systems, [Third] International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007, Proceedings, pp. 207-218, 2007, Springer, 978-3-540-72684-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Bin Lu |
A Multi-Granular Fuzzy Comprehensive Evaluation Method.  |
IMECS  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Bin Lu, Juan Chen |
Fuzzy Control of a Double Inverted Pendulum Based on Hyper Topology Space.  |
IMECS  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Juan Chen, Huizhan Yi, Xuejun Yang, Liang Qian |
Compile-Time Energy Optimization for Parallel Applications in On-Chip Multiprocessors.  |
International Conference on Computational Science  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yixin Chen, Yi Pan, Juan Chen, Wei Liu, Ling Chen |
Multiple Sequence Alignment by Ant Colony Optimization and Divide-and-Conquer.  |
International Conference on Computational Science  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Li, Juan Chen, Ying Tao, David L. Groep, Lex Wolters |
Improving a Local Learning Technique for QueueWait Time Predictions.  |
CCGRID  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Huizhan Yi, Juan Chen, Xunjun Yang |
Compiler-Directed Energy-Time Tradeoff in MPI Programs on DVS-Enabled Parallel Systems.  |
ISPA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Huizhan Yi, Juan Chen, Xuejun Yang |
Static WCET Analysis Based Compiler-Directed DVS Energy Optimization in Real-Time Applications.  |
Asia-Pacific Computer Systems Architecture Conference  |
2006 |
DBLP DOI BibTeX RDF |
Real-time, Low-power, Compiler, WCET |
| 1 | Juan Chen, Lihong Xu |
Road-Junction Traffic Signal Timing Optimization by an adaptive Particle Swarm Algorithm.  |
ICARCV  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Yixin Chen, Yi Pan, Juan Chen, Wei Liu, Ling Chen |
Partitioned optimization algorithms for multiple sequence alignment.  |
AINA  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tianchi Yang, Liang Jin, Juan Chen |
Power Management in Circuits Design.  |
APCCAS  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinmei Qi, Shousen Zheng, Juan Chen |
Modeling and Experiment Evaluation of Circular Polyacrylate Dielectric Elastomer Actuation.  |
ROBIO  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ling Chen, Juan Chen, Yi Pan |
Fast Scalable Algorithm on LARPBS for Sequence Alignment.  |
ISPA Workshops  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, David Tarditi |
A simple typed intermediate language for object-oriented languages.  |
POPL  |
2005 |
DBLP DOI BibTeX RDF |
class and object encoding, typed intermediate language |
| 1 | Juan Chen, Yong Dong, Xuejun Yang, Dan Wu |
A Compiler-Directed Energy Saving Strategy for Parallelizing Applications in On-Chip Multiprocessors.  |
ISPDC  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen |
Decidable subclassing-bounded quantification.  |
TLDI  |
2005 |
DBLP DOI BibTeX RDF |
bounded quantification, class and object encoding, decidability, typed intermediate language |
| 1 | Juan Chen, Yong Dong, Huizhan Yi, Xuejun Yang |
Energy-Constrained Prefetching Optimization in Embedded Applications.  |
EUC  |
2005 |
DBLP DOI BibTeX RDF |
energy-constrained, DVS, embedded applications, software prefetching |
| 1 | Juan Chen, Yong Dong, Huizhan Yi, Xuejun Yang |
Compiler-Directed Energy-Aware Prefetching Optimization for Embedded Applications.  |
ICESS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Huizhan Yi, Xuejun Yang, Juan Chen |
The Optimal Profile-Guided Greedy Dynamic Voltage Scaling in Real-Time Applications.  |
ICESS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Yong Dong, Huizhan Yi, Xuejun Yang |
Power Consumption Analysis of Embedded Multimedia Application.  |
ICESS  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Chen, Dinghao Wu, Andrew W. Appel, Hai Fang |
A provably sound TAL for back-end optimization.  |
PLDI  |
2003 |
DBLP DOI BibTeX RDF |
proof-carrying code, typed assembly language |
Displaying result #1 - #74 of 74 (100 per page; Change: )
|
|