Titlebook: Embracing Global Computing in Emerging Economies; First Workshop, EGC Ross Horne Conference proceedings 2015 Springer International Publis

embolus

讽刺滑稽戏剧

政府

不能仁慈

山羊

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

梯田

IRATE

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.

极肥胖

,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

防锈

GROUP