| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jin Qin, Xin Li, Yixin Yin |
An algorithmic framework of discrete particle swarm optimization.  |
Appl. Soft Comput.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Jianmin Zheng, Thomas W. Sederberg, Thomas J. R. Hughes, Michael A. Scott |
On linear independence of T-spline blending functions.  |
Computer Aided Geometric Design  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Reinhard von Hanxleden |
Multithreaded Reactive Programming - the Kiel Esterel Processor.  |
IEEE Trans. Computers  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Sitharama Iyengar, Xin Li, Huanhuan Xu, Supratik Mukhopadhyay, N. Balakrishnan, Amit Sawant, Puneeth Iyengar |
Toward More Precise Radiotherapy Treatment of Lung Tumors.  |
IEEE Computer  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohamed Rasmy, Toshio Koike, Souhail Boussetta, Hui Lu, Xin Li |
Development of a Satellite Land Data Assimilation System Coupled With a Mesoscale Model in the Tibetan Plateau.  |
IEEE T. Geoscience and Remote Sensing  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Yimin Zhang, Moeness G. Amin |
Joint Optimization of Source Power Allocation and Relay Beamforming in Multiuser Cooperative Wireless Networks.  |
MONET  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li |
Design Extractors, Non-Malleable Condensers and Privacy Amplification.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Xin Li |
Non-Malleable Extractors for Entropy Rate <1/2.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Xin Li, Marc Moreno Maza, Raqeeb Rasheed, Éric Schost |
The modpn library: Bringing fast polynomial arithmetic into Maple.  |
J. Symb. Comput.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas W. Sederberg, Hongwei Lin, Xin Li |
Curvature of singular Bézier curves and surfaces.  |
Computer Aided Geometric Design  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Falai Chen |
On the instability in the dimension of splines spaces over T-meshes.  |
Computer Aided Geometric Design  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Mengtian Rong, Tao Liu, Liang Zhou |
Inverse Distance Weighting Method Based on a Dynamic Voronoi Diagram for Thermal Reconstruction with Limited Sensor Data on Multiprocessors.  |
IEICE Transactions  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Xin Li, Zhao Yin, Li Wei, Shenghua Wan, Wei Yu, Maoqing Li |
Symmetry and template guided completion of damaged skulls.  |
Computers & Graphics  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Shenghua Wan, Zhao Yin, Kang Zhang, Hongchao Zhang, Xin Li |
A topology-preserving optimization algorithm for polycube mapping.  |
Computers & Graphics  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Weikang Qian, Xin Li, Marc D. Riedel, Kia Bazargan, David J. Lilja |
An Architecture for Fault-Tolerant Computation with Stochastic Logic.  |
IEEE Trans. Computers  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Shidan, Liguo Sun, Xin Li, Desheng Wang |
Research on an Improved Terrain Aided Positioning Model.  |
JSW  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Daoxiang An, Xiaotao Huang, Shirui Peng |
Estimation of wall parameters based on range profiles.  |
SCIENCE CHINA Information Sciences  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li |
Image Recovery Via Hybrid Sparse Representations: A Deterministic Annealing Approach.  |
J. Sel. Topics Signal Processing  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoon Soo Pyon, Xin Li, Jing Li |
Cancer progression analysis based on ordinal relationship of cancer stages and co-expression network modularity.  |
IJDMB  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wangyang Zhang, Xin Li, Frank Liu, Emrah Acar, Rob A. Rutenbar, Ronald D. Blanton |
Virtual Probe: A Statistical Framework for Low-Cost Silicon Characterization of Nanoscale Integrated Circuits.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Li, Xin Li |
Speech Emotion Recognition Using Novel HHT-TEO Based Features.  |
JCP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Safwat Abdel-Azeim, Xin Li, Lung Wa Chung, Keiji Morokuma |
Zinc-Homocysteine binding in cobalamin-dependent methionine synthase and its role in the substrate activation: DFT, ONIOM, and QM/MM molecular dynamics studies.  |
Journal of Computational Chemistry  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Zhuotong Nan, Guodong Cheng, Yongjian Ding, Lizong Wu, Liangxu Wang, Jian Wang, Youhua Ran, Hongxing Li, Xiaoduo Pan, Zhongming Zhu |
Toward an improved data stewardship and service for environmental and ecological science data in West China.  |
Int. J. Digital Earth  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li |
Non-Malleable Extractors for Entropy Rate <1/2  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Xin Li |
All Roads Lead To Rome  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Xin Li |
Fine-Granularity and Spatially-Adaptive Regularization for Projection-Based Image Deblurring.  |
IEEE Transactions on Image Processing  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Qianchuan Zhao, Xiaohong Guan, Lang Tong |
Optimal Cognitive Access of Markovian Channels under Tight Collision Constraints.  |
IEEE Journal on Selected Areas in Communications  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ying Liang, He Li, Junying Zhang, Yao Zhang, Tianjiao Feng, Xin Li, Liang Wang, Zhanjun Zhang |
Deficiency in anterior-posterior connectivity of default-mode network in amnestic mild cognitive impairment: A combined task-related and resting-state fMRI study.  |
BMEI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wuyi Yu, Xin Li |
An efficient PILP algorithm for 3D region guarding and star decomposition.  |
SIGGRAPH Posters  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hsiu-Ming Chang, Kwang-Ting Cheng, Wangyang Zhang, Xin Li, Kenneth M. Butler |
Test cost reduction through performance prediction using virtual probe.  |
ITC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Lu, Toshio Koike, Kun Yang, Xin Li, Hiroyuki Tsutsui, Katsunori Tamagawa, Xiangde Xu |
Improving land surface energy and water fluxes simulation over the Tibetan Plateau with using a land data assimilation system.  |
IGARSS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lizong Wu, Xin Li, P. K. Mool, Sharad Joshi, Shiyin Liu |
Expansion of moraine-dammed glacial lake in the central Himalayas from 1977 to 2009.  |
IGARSS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Weizhen Wang, Ziwei Xu, Xin Li, Jiemin Wang, Zhihui Zhang |
The study on applications of Large Aperture Scintillometer measuring large scale flux.  |
IGARSS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Che, Xin Li, Liyun Dai |
Monitoring freeze-up and break-up dates of Northern Hemisphere big lakes using passive microwave remote sensing data.  |
IGARSS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Lu Xu, Xiaoqing Ding, Liangrui Peng, Xin Li |
An Improved Method Based on Weighted Grid Micro-structure Feature for Text-Independent Writer Recognition.  |
ICDAR  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mingming Fan, Xin Li, Yu Zhong, Li Tian, Yuanchun Shi, Hao Wang |
Surprise Grabber: a co-located tangible social game using phone hand gesture.  |
CSCW  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Soner Yaldiz, V. Calayir, Xin Li, Lawrence T. Pileggi, A. S. Natarajan, M. A. Ferriss, J. Tierno |
Indirect phase noise sensing for self-healing voltage controlled oscillators.  |
CICC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Feng Lu, Xin Li |
RCBA: An Efficient Annotation Tool for Community E-Learning.  |
ICGEC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Yanfei Peng, Jinguang Sun |
Task-Driven and Cooperative-Working Based Compiler Principle Teaching Reform.  |
CSEE  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li |
A Process Model with Event-Rule Mechanism.  |
ICAIC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pei Sun, Xin Li, Ming Yuan Ting |
Efficient incremental analysis of on-chip power grid via sparse approximation.  |
DAC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Changdao Dong, Xin Li |
Efficient SRAM failure rate prediction via Gibbs sampling.  |
DAC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li |
Rethinking memory redundancy: optimal bit cell repair for maximum-information storage.  |
DAC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yunyi Jia, Ning Xi, Fei Wang, Yunxia Wang, Xin Li |
Controlling telerobotic operations adaptive to quality of teleoperator and task dexterity.  |
IROS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhao Yin, Li Wei, Xin Li, Mary Manhein |
An automatic assembly and completion framework for fragmented skulls.  |
ICCV  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Weisheng Dong, Xin Li, Lei Zhang, Guangming Shi |
Sparsity-based image deblurring with locally adaptive and nonlocally robust regularization.  |
ICIP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li |
Inverse halftoning with nonlocal regularization.  |
ICIP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiazao Lin, Xining Li, Yi Yang, Li Liu, Wenqiang Guo, Xin Li, Lian Li |
A Context-Aware Recommender System for M-Commerce Applications.  |
AMT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Hui Xia, Zhiping Jia, Lei Ju, Xin Li, Youqin Zhu |
A Subjective Trust Management Model with Multiple Decision Factors for MANET Based on AHP and Fuzzy Logic Rules.  |
GreenCom  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wuyi Yu, Maoqing Li, S. Sitharama Iyengar, Xin Li |
Efficient 3D region guarding for multimedia data processing.  |
ICME  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wei Zhang, Ying Jin, Xin Li, Xin Zhang |
A Simple Way for Parameter Selection of Standard Particle Swarm Optimization.  |
AICI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun Zhan, Xin Li, Weituo Hao, Yanjuan Qiao, Peng Guan, Xiao Liu |
Software development for vehicle braking system integration and match.  |
EMEIT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yanjun Wang, Xin Li, Gang Chen |
Research the spatial reference system sharing framework based on SOA.  |
ICSDM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Weisheng Dong, Xin Li, Lei Zhang, Guangming Shi |
Sparsity-based image denoising via dictionary learning and structural clustering.  |
CVPR  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Weiyun Chen, Xin Li, Daniel Zeng |
Estimating Collective Belief in Fixed Odds Betting.  |
PAISI  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaowen Zhou, Chunxiu Gu, Ziqiao Zhang, Lijing Xing, Xin Li, Chunxue Fu |
A Novel BTEX Gas Sensor Utilizing Cataluminescence on Nanosized Bi4MnO8.  |
ICDMA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Haiyan Zhang, Xin Li |
Study of the Prestack Elastic Parameter Inversion Based on Immune Genetic Algorithm.  |
ICDMA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Li Wei, Wei Yu, Maoqing Li, Xin Li |
Skull Assembly and Completion Using Template-Based Surface Matching.  |
3DIMPVT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yevgeniy Dodis, Xin Li, Trevor D. Wooley, David Zuckerman |
Privacy Amplification and Non-malleable Extractors via Character Sums.  |
FOCS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Jing Li |
Haplotype Reconstruction in Large Pedigrees with Many Untyped Individuals.  |
RECOMB  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li |
A New Approach to Affine Extractors and Dispersers.  |
IEEE Conference on Computational Complexity  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li |
Improved Constructions of Three Source Extractors.  |
IEEE Conference on Computational Complexity  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Feng, Xin Li |
Rising or Dropping: the Consumer Review-oriented Pricing Paradox.  |
ICIS  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Hualiang Deng, Xin Li, Xiaoguang Liu, Gang Wang |
Accelerating the Near Non-bonded Force Computation in Desmond with Graphic Processing Units.  |
ICPP Workshops  |
2011 |
DBLP DOI BibTeX RDF |
Desmond, near non-bonded force, optimization, parallelization, GPGPU |
| 1 | Matthias Althoff, Soner Yaldiz, Akshay Rajhans, Xin Li, Bruce H. Krogh, Larry T. Pileggi |
Formal verification of phase-locked loops using reachability analysis and continuization.  |
ICCAD  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wangyang Zhang, Karthik Balakrishnan, Xin Li, Duane S. Boning, Rob A. Rutenbar |
Toward efficient spatial variation decomposition via sparse regression.  |
ICCAD  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Torbjörn Ekman 0002 |
Gaussian Angular Distributed MIMO Channel Model.  |
VTC Fall  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen Su, Xin Li, Chee Chow |
Exploring the Extent and Impediments of Knowledge Sharing in Chinese Business Enterprise.  |
IJKM  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Jiansong Deng, Falai Chen |
Polynomial splines over general T-meshes.  |
The Visual Computer  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Linjing Li, Xin Li, Zhenjiang Li, Daniel Dajun Zeng, William T. Scherer |
A Bibliographic Analysis of the IEEE Transactions on Intelligent Transportation Systems Literature.  |
IEEE Transactions on Intelligent Transportation Systems  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Linjing Li, Xin Li, Changjian Cheng, Cheng Chen, Guanyan Ke, Daniel Dajun Zeng, William T. Scherer |
Research Collaboration and ITS Topic Evolution: 10 Years at T-ITS.  |
IEEE Transactions on Intelligent Transportation Systems  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yixuan Chen, Xin Li, Jing Li |
A novel approach for haplotype-based association analysis using family data.  |
BMC Bioinformatics  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li |
A New Approach to Affine Extractors and Dispersers.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Xin Li |
Improved Constructions of Three Source Extractors.  |
Electronic Colloquium on Computational Complexity (ECCC)  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Chuntao Lu, Huyin Zhang, Di Wu, Xin Li, Zhou Zhu |
STBH: A Spectrum-tree-based Hybrid Routing Protocol for Cognitive Network.  |
JCIT  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Xin Li, Tian Liu |
On exponential time lower bound of Knapsack under backtracking.  |
Theor. Comput. Sci.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Zhi-Hong Deng |
Mining frequent patterns from network flows for monitoring network.  |
Expert Syst. Appl.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Shouichiro Iio, Masako Umebachi, Xin Li, Toshiharu Kagawa, Toshihiko Ikeda |
Performance of a non-contact handling device using swirling flow with various gap height.  |
J. Visualization  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Huanhuan Xu, Shenghua Wan, Zhao Yin, Wuyi Yu |
Feature-aligned harmonic volumetric mapping using MFS.  |
Computers & Graphics  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Xiaolin Yin, Jing Li |
Efficient identification of identical-by-descent status in pedigrees with many untyped individuals.  |
Bioinformatics [ISMB] ![In: Bioinformatics [ISMB] 26(12), pp. 191-198, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fei Xia, Yong Dou, Dan Zhou, Xin Li |
Fine-grained parallel RNA secondary structure prediction using SCFGs on FPGA.  |
Parallel Computing  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Haiming Qi, Bin Hua, Hong Lei, Weidong Yu |
A study of spaceborne SAR raw data compression error based on a statistical model of quantization interval transfer probability.  |
SCIENCE CHINA Information Sciences  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li |
Radial basis approximation and its application to biharmonic equation.  |
Adv. Comput. Math.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li |
Radial basis approximation for Newtonian potentials.  |
Adv. Comput. Math.  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li |
Finding Deterministic Solution From Underdetermined Equation: Large-Scale Performance Variability Modeling of Analog/RF Circuits.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Colin C. McAndrew, Weimin Wu, Samir Chaudhry, James Victory, Gennady Gildenblat |
Statistical Modeling With the PSP MOSFET Model.  |
IEEE Trans. on CAD of Integrated Circuits and Systems  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Zhe Li |
A MANET accessing Internet routing algorithm based on dynamic gateway adaptive selection.  |
Frontiers of Computer Science in China  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Barbara Crump |
Ontologies for personalised learning.  |
IJKL  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | S. S. Iyengar, Supratik Mukhopadhyay, Christopher Steinmuller, Xin Li |
Preventing Future Oil Spills with Software-Based Event Detection.  |
IEEE Computer  |
2010 |
DBLP DOI BibTeX RDF |
AI Redux, Cognitive Information Management (CIM) Shell, Deepwater Horizon oil spill, Complex event processing |
| 1 | Dazu Huang, Zhigang Chen, Xin Li, Ying Guo |
Apologizing Comment on `Quantum Quasi-Cyclic Low-Density Parity-Check codes$\,$"  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Xin Li |
On the Problem of Local Randomness in Privacy Amplification with an Active Adversary  |
CoRR  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Xin Li, William K. Cheung, Jiming Liu |
Improving POMDP Tractability via Belief Compression and Clustering.  |
IEEE Transactions on Systems, Man, and Cybernetics, Part B  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, Hsinchun Chen, Jiexun Li, Zhu Zhang |
Gene function prediction with gene interaction networks: a context graph kernel approach.  |
IEEE Transactions on Information Technology in Biomedicine  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li |
Privacy Preserving Clustering for Distributed Homogeneous Gene Expression Data Sets.  |
IJCMAM  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhuo Feng, Qingpeng Zhang, Xin Li, Guanyan Ke, Gang Xiong |
A Bibliographic Analysis of IEEE Intelligent Systems Publications.  |
IEEE Intelligent Systems  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Qingpeng Zhang, Zhuo Feng, Xin Li, Xiaolong Zheng, Liu Zhang |
25 Years of Collaborations in IEEE Intelligent Systems.  |
IEEE Intelligent Systems  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Colin C. McAndrew, Xin Li, Ivica Stevanovic, Gennady Gildenblat |
Extensions to Backward Propagation of Variance for Statistical Modeling.  |
IEEE Design & Test of Computers  |
2010 |
DBLP DOI BibTeX RDF |
backward propagation of variance, PSP model, Spice modeling, statistical modeling, design and test |
| 1 | Bin Wang, Gaofeng Pan, Xin Li, Chunyan Su |
The Design and Development of Testing Information System of Psychodiagnosis for Equestrianism Players.  |
JDCTA  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Lin Xu, Dongdai Lin, Xin Li |
A New Efficient Algorithm for Computing All Low Degree Annihilators of Sparse Polynomials with a High Number of Variables.  |
ISPEC  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Li, H. James Hoover, Piotr Rudnicki |
API Conformance Verification for Java Programs.  |
ICFEM  |
2010 |
DBLP DOI BibTeX RDF |
|