embolus 发表于 2025-3-26 22:37:21

http://reply.papertrans.cn/31/3081/308039/308039_31.png

讽刺滑稽戏剧 发表于 2025-3-27 01:55:43

http://reply.papertrans.cn/31/3081/308039/308039_32.png

政府 发表于 2025-3-27 07:07:42

http://reply.papertrans.cn/31/3081/308039/308039_33.png

不能仁慈 发表于 2025-3-27 12:12:22

http://reply.papertrans.cn/31/3081/308039/308039_34.png

山羊 发表于 2025-3-27 15:17:49

A Combinatorial Approach to Knot Recognition,quandles. The aim of the paper is to summarize the mathematical theory of knot coloring in a compact, accessible manner, and to show how to use it for computational purposes. In particular, we address how to determine colorability of a knot, and propose to use SAT solving to search for colorings. Th

梯田 发表于 2025-3-27 19:26:47

http://reply.papertrans.cn/31/3081/308039/308039_36.png

IRATE 发表于 2025-3-27 22:16:19

Texture Recognition by Spatially Adaptive Classification,incorporated with a spatially adaptive classification of geometric features. The algorithm is tested on a set of artificial images and X-ray tomography scan of titanium alloy. The results are presented and discussed.

极肥胖 发表于 2025-3-28 03:09:56

,A Unifying Framework for Interactive Programming and Applications to Communicating Peer-to-Peer Sysich extends register machines with interactive capabilities. The framework provides a kernel coordination language parametrized by the programming language used for writing the code of the basic blocks. To illustrate the framework, we describe an implementation of an interactive communicating system

防锈 发表于 2025-3-28 10:10:14

http://reply.papertrans.cn/31/3081/308039/308039_39.png

GROUP 发表于 2025-3-28 11:59:05

http://reply.papertrans.cn/31/3081/308039/308039_40.png
页: 1 2 3 [4] 5 6
查看完整版本: Titlebook: Embracing Global Computing in Emerging Economies; First Workshop, EGC Ross Horne Conference proceedings 2015 Springer International Publis