Pages that link to "Item:Q351970"

The following pages link to Frontiers of Computer Science in China (Q351970):

Displaying 45 items.

• Recent advances in program verification through computer algebra (Q351971) (← links)
• A semantic model of confinement and locality theorem (Q351976) (← links)
• Formal verification of concurrent programs with Read-write locks (Q351980) (← links)
• A new model for model checking: cycle-weighted Kripke structure (Q351985) (← links)
• Mining non-redundant diverse patterns: an information theoretic perspective (Q351988) (← links)
• Documenting and verifying systems assembled from components (Q351992) (← links)
• On the computation of quotients and factors of regular languages (Q351995) (← links)
• A class of life insurance reserve model and risk analysis in a stochastic interest rate environment (Q351999) (← links)
• \(n\)-person credibilistic strategic game (Q352002) (← links)
• Evaluation of mutual funds using multi-dimensional information (Q352005) (← links)
• Partially funded public pension, human capital and endogenous growth (Q352007) (← links)
• ID-based authenticated group key agreement from bilinear maps (Q352009) (← links)
• One-to-one communication in twisted cubes under restricted connectivity (Q352013) (← links)
• PopCap: popularity oriented proxy caching for peer-assisted Internet video-on-demand streaming services (Q352017) (← links)
• Full and partial deniability for authentication schemes (Q352021) (← links)
• Linear complexity and autocorrelation values of a polyphase generalized cyclotomic sequence of length \(pq\) (Q352022) (← links)
• An immune memory clonal algorithm for numerical and combinatorial optimization (Q352025) (← links)
• Property transformation under specification change (Q352027) (← links)
• Abstraction for model checking multi-agent systems (Q352029) (← links)
• Indeterminacy-aware service selection for reliable service composition (Q352033) (← links)
• Fuzzy c-means clustering with non local spatial information for noisy image segmentation (Q352035) (← links)
• A fast algorithm for computing moments of gray images based on NAM and extended shading approach (Q352038) (← links)
• Distance metric learning guided adaptive subspace semi-supervised clustering (Q352041) (← links)
• A metric normalization of tree edit distance (Q352044) (← links)
• An analytical model for Network-on-Chip with finite input buffer (Q352048) (← links)
• A resynchronization attack on stream ciphers filtered by Maiorana-McFarland functions (Q352050) (← links)
• A simple fingerprinting scheme for large user groups (Q352053) (← links)
• FlowTrust: trust inference with network flows (Q352056) (← links)
• Dominance-based fuzzy rough approach to an interval-valued decision system (Q352058) (← links)
• Type-2 fuzzy description logic (Q352063) (← links)
• Individual difference of artificial emotion applied to a service robot (Q352067) (← links)
• Efficient normalized cross correlation calculation method for stereo vision based robot navigation (Q352069) (← links)
• Psu: a novel low-latency constant-degree overlay network (Q352072) (← links)
• Learning multiple metrics for ranking (Q352075) (← links)
• An improved spectral clustering algorithm based on random walk (Q352078) (← links)
• Static typing for a substructural lambda calculus (Q352080) (← links)
• RBF neural network based on \(q\)-Gaussian function in function approximation (Q352081) (← links)
• Nearest-neighbor classifier motivated marginal discriminant projections for face recognition (Q352086) (← links)
• Approximation operators based on vague relations and roughness measures of vague sets (Q352088) (← links)
• Identity-based key distribution for mobile ad hoc networks (Q352090) (← links)
• On cross-correlation indicators of an S-box (Q352094) (← links)
• Two-thirds simulation indexes and modal logic characterization (Q352098) (← links)
• Certifying assembly programs with trails (Q352100) (← links)
• A recursive model for static empty container allocation (Q352103) (← links)
• Non-cooperative optimization games in market-oriented overlay networks: an integrated model of resource pricing and network formation (Q352106) (← links)