|
|
|
|
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 |
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: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")