Titlebook: Logical Foundations of Computer Science; Third International Anil Nerode,Yu. V. Matiyasevich Conference proceedings 1994 Springer-Verlag B

Malinger

书目名称Logical Foundations of Computer Science影响因子(影响力)




书目名称Logical Foundations of Computer Science影响因子(影响力)学科排名




书目名称Logical Foundations of Computer Science网络公开度




书目名称Logical Foundations of Computer Science网络公开度学科排名




书目名称Logical Foundations of Computer Science被引频次




书目名称Logical Foundations of Computer Science被引频次学科排名




书目名称Logical Foundations of Computer Science年度引用




书目名称Logical Foundations of Computer Science年度引用学科排名




书目名称Logical Foundations of Computer Science读者反馈




书目名称Logical Foundations of Computer Science读者反馈学科排名

用肘

轿车

Henrik Reif Andersentely infer tags for new software objects by learning the relationships between historical software objects and their corresponding tags. Given a new software object, TagDeepRec is able to compute the confidence probability of each tag and then recommend top-k tags by ranking the probabilities. We us

寄生虫

Dmitry A. Archangelsky,Mikhail I. Dekhtyar,Evgeny Kruglov,Ilmir Kh. Musikaev,Mikhail A. Taitslinproaches, we propose a shallow semantic parsing framework to extract event arguments with the event trigger as the predicate and the event arguments as the predicate arguments. In specific, we design and compare different features for the proposed model. The experimental results show that our approa

脱水

Sergei Artëmov,Vladimir Krupskitely infer tags for new software objects by learning the relationships between historical software objects and their corresponding tags. Given a new software object, TagDeepRec is able to compute the confidence probability of each tag and then recommend top-k tags by ranking the probabilities. We us

Ptosis

Andrea Asperti,Giovanna Dored agency” is being developed principally by John Debenham [UTS, Australia] and Carles Sierra [IIIA, Spain]. Published work to date has considered argumentation frameworks between a set of (often just two) agents, and has not taken into account the relationships that the various agents have with othe

tackle

S. A. Berezin,N. V. Shiloves. The key insight of . is to extract the variance features of the fine-grained time-series CSI, which is sensitively affected by customer activity, to recognize what is the customer doing. First, we conduct . (PCA) to smooth the preprocessed CSI values since general denoising method is insufficien

pulse-pressure

Carolyn Brown,Alan Jeffreyes. The key insight of . is to extract the variance features of the fine-grained time-series CSI, which is sensitively affected by customer activity, to recognize what is the customer doing. First, we conduct . (PCA) to smooth the preprocessed CSI values since general denoising method is insufficien

Misnomer

monogamy