|
已选(0)清除
条数/页： 排序方式： |
| partial constraint checking for context consistency in pervasive computing 期刊论文
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2010, 卷号: 19, 期号: 3, 页码: -
作者: Xu Chang; Cheung S. C.; Chan W. K.; Ye Chunyang
 Adobe PDF(1889Kb) |  收藏 | 浏览/下载：32/0 | 提交时间：2011/05/23
AlgorithmsPerformancesTheoryConstraintsPerformancePervasive ComputingValidation |
| a heuristic approach to positive root isolation for multiple power sums 期刊论文
JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2010, 卷号: 16, 期号: 14, 页码: 1912-1926
作者: Xu Ming; Mu Chuandong; Zeng Zhenbing; Li Zhi-bin
Adobe PDF(174Kb) | 收藏 | 浏览/下载：32/0 | 提交时间：2011/05/23
Multiple Power SumsRoot IsolationRoot BoundsDescartes Sign RuleFouriers Theorem |
| user-centric similarity and proximity measures for spatial personalization 期刊论文
INTERNATIONAL JOURNAL OF DATA WAREHOUSING AND MINING, 2010, 卷号: 6, 期号: 2, 页码: 59-78
作者: Yang Yanwu; Claramunt Christophe; Aufaure Marie-Aude; Zhang Wensheng
Adobe PDF(6588Kb) | 收藏 | 浏览/下载：28/0 | 提交时间：2011/05/23
Conceptual MapSimilarity MeasureSpatial PersonalizationSpatial ProximityUser-centric |
| differential geometry images: remeshing and morphing with local shape preservation 期刊论文
VISUAL COMPUTER, 2010, 卷号: 26, 期号: 1, 页码: 51-62
作者: Meng Weiliang; Sheng Bin; Lv Weiwei; Sun Hanqiu; Wu Enhua
收藏 | 浏览/下载：28/0 | 提交时间：2011/05/23
RemeshGeometry ImagesDifferential CoordinatesLaplacian MatrixShape Space |
| real-time coherent stylization for augmented reality 期刊论文
VISUAL COMPUTER, 2010, 卷号: 26, 期号: 40702, 页码: 445-455
作者: Wang Shandong; Cai Kangying; Lu Jian; Liu Xuehui; Wu Enhua
Adobe PDF(2491Kb) | 收藏 | 浏览/下载：39/0 | 提交时间：2011/05/23
StylizationAugmented RealityLine DrawingAbstractionCoherentReal-time |
| a gpu-based matting laplacian solver for high resolution image matting 期刊论文
VISUAL COMPUTER, 2010, 卷号: 26, 期号: 40702, 页码: 943-950
作者: Huang Mengcheng; Liu Fang; Wu Enhua
Adobe PDF(1362Kb) | 收藏 | 浏览/下载：41/0 | 提交时间：2011/05/23
Image MattingMatting LaplacianConjugate Gradient SolverGpu |
| an improved smart card based password authentication scheme with provable security 期刊论文
COMPUTER STANDARDS & INTERFACES, 2009, 卷号: 31, 期号: 4, 页码: 723-728
作者: Xu Jing; Zhu Wen-Tao; Feng Deng-Guo
Adobe PDF(741Kb) | 收藏 | 浏览/下载：49/0 | 提交时间：2011/03/18
Network Security |
| enumerating proofs of positive formulae 期刊论文
COMPUTER JOURNAL, 2009, 卷号: 52, 期号: 7, 页码: 799-807
作者: Dowek Gilles; Jiang Ying
收藏 | 浏览/下载：46/0 | 提交时间：2011/03/18
Positive FormulaeEnumerating ProofsMinimal Predicate Logic |
| characterizations of stable model semantics for logic programs with arbitrary constraint atoms 期刊论文
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009, 卷号: 9, 期号: 4, 页码: 529-564
作者: Shen Yi-Dong; You Jia-Huai; Yuan Li-Yan
收藏 | 浏览/下载：28/0 | 提交时间：2011/03/18
Answer Set ProgramingAbstract Constraint AtomsStable Model SemanticsGelfond-lifschitz Transformation |
| high performance approach for server side soap processing 期刊论文
INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH, 2009, 卷号: 6, 期号: 2, 页码: 66-93
作者: Li Lei; Niu Chunlei; Chen Ningjiang; Wei Jun; Huang Tao
收藏 | 浏览/下载：36/0 | 提交时间：2011/03/18
CachingDeserializingHigh PerformanceSoap ProcessorWeb ServicesXml Parsing |
