The Code Debate in Context: A Decade of Campaigning for Clean Clothes

Provides background information on the Clean Clothes Campaign and its development, looks at the corporate reactions to the CCC initiatives, and assesses the CCC’s current position and future plans

Constructing a fuzzy grammar for syntactic face detection

This paper presents a structural face detection system. The proposed system consists of three stages; pre-processing, face-components extraction, and final decision-making. In the first stage, image conversion, colour operation, image restoration, and image enhancement are carried out. Face components are extracted in the second stage. A face model is defined, and a fuzzy grammar composed of octal chain codes is used to represent each of the seven face components. The practical limitations of this representation are considered. Structural components are detected, and the possibility degree that the extracted component is a real face component is determined. In the last stage, a commonsense knowledge base is employed for final evaluation. The detected face components and their corresponding possibility degrees allow the human face knowledge base to locate faces in the image and generate a membership degree for that face within the face class. The experimental results obtained using this method are presented

Special Libraries, March 1968

Volume 59, Issue 3https://scholarworks.sjsu.edu/sla_sl_1968/1002/thumbnail.jp

Fluent APIs in Functional Languages (full version)

Fluent API is an object-oriented pattern for smart and elegant embedded DSLs. As fluent API designs typically rely on function overloading, they are hard to realize in functional programming languages. We show how to write functional fluent APIs using parametric polymorphism and unification instead of overloading. Our designs support all regular and deterministic context-free DSLs and beyond

Forum Session at the First International Conference on Service Oriented Computing (ICSOC03)

The First International Conference on Service Oriented Computing (ICSOC) was held in Trento, December 15-18, 2003. The focus of the conference ---Service Oriented Computing (SOC)--- is the new emerging paradigm for distributed computing and e-business processing that has evolved from object-oriented and component computing to enable building agile networks of collaborating business applications distributed within and across organizational boundaries. Of the 181 papers submitted to the ICSOC conference, 10 were selected for the forum session which took place on December the 16th, 2003. The papers were chosen based on their technical quality, originality, relevance to SOC and for their nature of being best suited for a poster presentation or a demonstration. This technical report contains the 10 papers presented during the forum session at the ICSOC conference. In particular, the last two papers in the report ere submitted as industrial papers

Formal Derivation of Concurrent Garbage Collectors

Concurrent garbage collectors are notoriously difficult to implement correctly. Previous approaches to the issue of producing correct collectors have mainly been based on posit-and-prove verification or on the application of domain-specific templates and transformations. We show how to derive the upper reaches of a family of concurrent garbage collectors by refinement from a formal specification, emphasizing the application of domain-independent design theories and transformations. A key contribution is an extension to the classical lattice-theoretic fixpoint theorems to account for the dynamics of concurrent mutation and collection.Comment: 38 pages, 21 figures. The short version of this paper appeared in the Proceedings of MPC 201

Real Islamic Logic

Four options for assigning a meaning to Islamic Logic are surveyed including a new proposal for an option named "Real Islamic Logic" (RIL). That approach to Islamic Logic should serve modern Islamic objectives in a way comparable to the functionality of Islamic Finance. The prospective role of RIL is analyzed from several perspectives: (i) parallel distributed systems design, (ii) reception by a community structured audience, (iii) informal logic and applied non-classical logics, and (iv) (in)tractability and artificial intelligence