简介：

简介：

简介：Fortheimageofasmoothsurfaceobjectfullycontainedwithinthefieldofviewandilluminatedinandarbitrarydirection,thispaperdiscussestheexistenceanduniquenessotheconditionsforsolvingashape-from-shadingproblemundertheconditionsthattheFourierseriesexpansionoftheimageintensitycontainsonlyzeroandfirstordertermsinapolarcoordinatesystem.Threetheoremsareestablished,onefortheexistenceandtwofortheuniquenessofz-axissymmetricshapefromshading.

简介：

简介：Inrecentyears,wehavebeendevelopinganewframeworkforacquiringmedicalknowledgefromEncyclopedictexts.Thisframeworkconsistsofthreemajorparts.Thefirstpartisanextendedhigh-levelconceptuallanguage(calledHLCL1.1)forusebyknowledgeengineerstoformalizeknowledgetextsinanencyclopedia.TheotherpartisanHLCL1.1compilerforparsingandanalyzingtheformalizedtextsintoknowledgemodels.Thethirdpartisasetofdomain-specificontologiesforsharingknowledge.

简介：采矿诱发性是必要的提供诊断。这研究瞄准提取在多重句子或EDU(基本讲话单位)以内存在的诱发性。因为他们以某个方式成为明确，研究强调诱发性动词的使用一个原因的作为结果的事件，例如，“蚜虫从米饭叶子吮吸傻瓜。然后，叶子将缩小。后来，他们将变得黄；干燥。'.一个动词能也是在原因之间的原因动词的连接；在EDU以内完成，例如，“蚜虫从引起叶子被缩小的米饭叶子吮吸傻瓜”(“引起”用泰语等价于一个原因动词的连接)。研究面对二个主要问题：从文件识别有趣的诱发性事件；识别他们的边界。然后，我们由使用二种不同机器学习技术在动词上建议采矿，中间广场Bayes；支持向量机。结果的采矿规则将被用于鉴定；从文本的多重EDU的诱发性抽取。我们的多重EDU抽取从中间广场Bayes与0.75召回显示出0.88精确；有从支持向量机的0.76召回的0.89精确。

简介：Thispaperpresentsafunctionallanguagefortheunambiguousdescriptionofdigitalcircuits,amethodandalgorithmstoobtainastandard-celllayout,andacomparativeevaluationofthedevelopedfunctionalstandard-cellplacementtechnique.Thepresentedplacementschemeisdifferentfromtraditionalmethodsbecausethecompletelayoutgrometryisspecifiedandconstructedautomaticallyfromafunctionaldescription.Theconstructionreliesonatranslationthatcombinesthesimplicityofstandard-cellswiththeeleganceoffunctionalprogramming.Anevaluationofthemethodintroducedshowsthatthequalityoftheresultingplacementisclosetotheresultsachievedwithsimulatedannealingwhilethecomputationtimeissignificantlyless.Furthermore,theevaluationsuggeststoemploythefunctionalplacementmethodinconjunctionwithlow-temperaturesimulatedannealingforrunning-timereductionandimprovedresults.

简介：InterpolatingasetofplanarpointsisacommonprobleminCAD.Mostconstructionsofinterpolationfunctionsarebasedontheparametersatthesamplepoints.Assigningparameterstoallsamplepointsisavitalstepbeforeconstructinginterpolationfunctions.Themostwidelyusedparameterizationmethodisaccumulativechordlengthparameterization.Inthispaper,wegiveoutabettermethodbasedontheinterpolationofconics.Basedonthismethod,asequenceoffairerHermitecurvescanbeconstructed.

简介：

简介：这篇论文介绍一个测量过程，叫了RmFFP，它为建模描述一套操作并且用OO方法需求模型从高级说明估计面向对象的软件系统的尺寸。OO方法是一个自动软件生产方法。这个工作的贡献是系统地定义允许在软件生产过程的一个早阶段估计功能的尺寸的一套规则，根据COSMIC-FFP。做这，我们描述为软件测量跟随一个过程模型的步骤的建议测量过程的设计，应用程序，和分析。我们也以它的重制度在RmFFP的评估上报导起始的结果。电子增补材料这篇文章(doi:10.1007/s11390-007-9050-6)的联机版本contatins增补材料，它对授权用户可得到。

简介：ＡＵＴＯＭＡＴＩＣＰＬＡＮＮＩＮＧＯＦＡＳＳＥＭＢＬＩＮＧＯＲＤＥＲＦＲＯＭＡＳＳＥＭＢＬＹＤＲＡＷＩＮＧＬｉＳｈｉｎａｎＪｉｎｇＨａｉｄｏｎｇＡｂｓｔｒａｃｔＩｔｉｓｉｍｐｏｒｔａｎｔｔｏｐｌａｎｔｈｅａｓｅｍｂｌｉｎｇｏｒｄｅｒａｕｔｏｍａｔｉｃ...

简介：Theadventofthetimeofbigdataalongwithsocialnetworksmakesthevisualizationandanalysisofnetworksinformationbecomeincreasinglyimportantinmanyfields.Basedontheinformationfromsocialnetworks,theideaofinformationvisualizationanddevelopmentoftoolsarepresented.Popularsocialnetworkmicro-blog(‘Weibo’)ischosentorealizetheprocessofusers’interestandcommunicationsdataanalysis.Userinterestvisualizationmethodsarediscussedandchosenandprogramsaredevelopedtocollectusers’interestanddescribeitbygraph.Thevisualizationresultsmaybeusedtoprovidethecommercialrecommendationorsocialinvestigationapplicationfordecisionmakers.

简介：Heightextractionforbuildingsisafundamentalstepof3Dscenereconstructioninmanyvirtualrealityapplications.Inthispaper,weproposeanautomaticmethodtoextracttheheightofbuildingsinhighresolutionsatelliteimagerybasedonthelengthofshadow.Takingintoaccountthelimitationoftraditionalalgorithms,wemakeuseoftheboundaryinformationofabuildingtofacilitatedetectingandmatchingtheshadowregionswithhigheraccuracy.Then,weintroduceashadow-castmodeltocorrecttheshadowlocationinoursystem.Theexperimentalresultshowsthatwhenextractingtheheightofbuildingsfromcomplexurbanregions,ourmethodhasbetteraccuracy.

简介：优化从shading(SFS)的基于的形状对初始化敏感：在初始化的错误是差的全面形状重建的一个重要原因。在这份报纸，我们在场帮助借助于用户相互作用克服这个问题的一个方法。在我们的方法有二个关键元素。第一，我们扩大SFS考虑一套初始化，而非使用单个的。第二，我们高效地用一个启发式的搜索方法探索这个初始化空格，禁忌搜索，由重建质量的用户评估指导了。合成、真实的图象上的重建结果在提供更理想的形状重建表明我们的方法的有效性。

简介：ThispaperproposesanapproachtosynthesizefunctionalprogramsofBackus'FPsystem^[1,2]frominput/outputinstances.Basedonatheoryoforthogonalexpansionofprograms^3[,4],thetaskofprogramsynthesisisexpressedinprogramequations,andfulfilledbysolvingthemaccordingtotheknowledgeabouttheequivalencebetweenprograms.Somegeneralknowledgeofsolvingprogramequationswithanumberofexamplesaregiveninthepaper.

简介：RoutingprotocolsplayanimportantroleintheInternetandthetestrequirementsarerunningup.Totestroutingprotocolsmoreefficiently,severalenhancingtechniquesareappliedintheprotocolintegratedtestsystemdescribedinthispaper.TheImplementationUnderTestismodeledasablackboxwithwindows.Thetestsystemisendowedwithmultiplechannelsandmultipleportstotestdistributedprotocols.Thetestsuiteandotherrelatedaspectsarealsoextended.Meanwhile,thepassivetestingisintroducedtotest,analyzeandmanageroutingprotocolsintheproductionfield,whichisabletoperformtheconformancetest,theinteroperabilitytestandtheperformancetest.Thestatemachineofpeersessionsistestedwiththestatesynchronizationalgorithm,andtheroutinginformationmanipulationandotheroperationsarecheckedandanalyzedwiththemethodslikethetopologyanalysisandtheinternalprocesssimulation.Withboththeactivetestingandthepassivetesting,theroutingprotocoltestisgoingfurtherandmorethoroughlyandhelpsalotinthedevelopmentofrouters.

简介：

简介：

简介：许多软件系统在很多个连续版本被开发。在每个版本不仅新代码被增加而且存在代码经常被修改。在这研究，我们证明修改代码能是差错的重要来源。差错广泛地在软件项目作为主要费用司机之一被认出。因此，我们寻找在修改代码改进故障检测的方法。我们建议并且评估很多个预测模型增加故障检测的效率。为了造并且评估我们的模型，我们使用从Ericsson生产的二个大远程通信系统收集的数据。我们由比那两个都把他们用于系统的一个不同版本评估我们的模型的表演他们被造在上并且到一个不同系统。我们的模型的性能与理论最好的模型，的性能相比一个简单模型基于尺寸，以及到在一份随机的订单分析代码(不用任何模型)。我们发现我们的模型的使用在根本并且过去不基于班尺寸用一个简单模型使用任何模型上提供重要改进。我们的模型提供的获得对应于3857%理论最大增益。电子增补材料这篇文章(doi:10.1007/s11390-007-9053-3)的联机版本contatins增补材料，它对授权用户可得到。

简介：在游戏业内有一种说法很流行，“超过30岁的技术人员还没有转管理层的话，未来可能不会有什么更好的发展了”，这种说法你认同吗？随着年龄的增长，每个人都在思索未来发展的道路，年届而立，在行业摸爬滚打已经多年，也许在技术上已经作出一番成绩，这时的我们是要朝既定的方向继续走下去，还是考虑从技术人员转向管理人员？究竟什幺样的人适合转向管理工作，在转型之后我们应该注意什么，又该如何为职业转型做好准备呢……很多读者来信向我们诉说了这方面的困惑，希望能请“过来人”为他们解惑，本期就这个带有普遍性的疑惑为题请西门孟先生为大家解惑。