Discussions on the software quality keep this topic one of the most contributed subjects in the software literature since late 1960's; early and initial examples include [ ], [ ] and [ ]. The discussions are not only how to achieve/argue quality in software products but also how to delimit its definition, because defining the quality is not an easy task for generic use, either. For instance, Re...

We formalize and prove the folklore theorem that the static delimited-control operators shift and reset can be simulated in terms of the dynamic delimited-control operators control and prompt. The proof is based on small-step operational semantics.

This article studies the synergy effect of entrepreneurship on China’s industrial clusters. We propose an extension to Duranton and Overman’s (2005) method which enables us to delimit industrial clusters in space. The empirical model is identified with historical measures of local entrepreneur potential in the spirit of Chinitz (1961). We find that measures of entrepreneurship contribute signif...

Consider a redundant ring network where each node is also connected to the nodes at distance d. In the presence of faulty nodes, the goal of a reconfiguration scheme is to construct the largest subring among the non-faulty nodes using both regular and bypass links. If the faults partition the network into components, such a subring will be entirely within a component. The set of faulty nodes de...

The elements of the truth value algebra of type-2 fuzzy sets consist of all mappings of the unit interval into itself, with operations given by various convolutions of the pointwise operations. This algebra can be specialized and generalized in various interesting ways. First, we consider the more general case of all mappings of a bounded chain with an involution into a complete chain, and deli...

The fuzziness of Chinese sentence boundary makes discourse analysis more challenging. Moreover, many articles posted on the Internet are even lack of punctuation marks. In this paper, we collect documents written by masters as a reference corpus and propose a model to label the punctuation marks for the given text. Conditional random field (CRF) models trained with the corpus determine the corr...

A comparison between time and frequency domain TOA estimators compliant with the 802.15.4a Standard has been made. The time domain estimator is done in two stages. One has the goal of identify the first pulse in each symbol interval and the other aims to acquire the start of frame delimiter. The frequency domain estimator is also based in two stages. A simple coarse estimation stage provides th...

We present a wrapper generation system to extract contents of semi-structured documents which contain instances of a record. The generation is done automatically using general assumptions on the structure of instances. It outputs a set of pairs of left and right delimiters surrounding instances of a field. In addition to input documents, our system also receives a set of symbols with which a de...

Species distribution models (SDM) are commonly used to provide information about species ranges or extents, and often are intended to represent the entire area of potential occupancy or suitable habitat in which individuals occur. While SDMs can provide results over various geographic extents, they normally operate within a grid and cannot delimit distinct, smooth boundaries. Additionally, ther...

Most studies involving trilingualism have been carried out within the theoretical framework of bilingualism research. No attempt has been made to delimit trilingualism as a concept in its own right, and often it has been assumed to be an extension of bilingualism. In young children, trilingual language acquisition largely follows the path of bilingual acquisition. With regard to language behavi...