James Evans : inventor of the syllabic system of the Cree language / by John McLean ... (Robin Rustler).

http://www.archive.org/details/jamesevans00maclrich

A Catechumenate for the Korean Methodist Church: Ressourcement, Formation and a Response to Secularism and Korean Traditional Religions

Research by Korean sociologists of religion indicates that Korean Protestantism has lost much of the spiritual vitality of preceding generations and that it increasingly shows the influences of Korean shamanism, Neo-Confucianism, and Western secularism and consumerism. Suggestions in the areas of homiletics and Christian social ethics have been offered to help steer the Korean Protestant churches away from these worldviews toward a more biblically-based course. Drawing upon and expanding these earlier studies and proposals, the current work recommends another method for developing a biblically-based, spiritually-revitalized, baptismally-shaped and ministry-committed Protestantism in Korea: a pre-baptismal adult catechumenate, in this case one designed for the context of the Korean Methodist Church. In order to produce a renewed catechumenal structure for Korean Methodism, adult catechumenal processes as well as baptismal theologies and rites are examined and analyzed from three principal sources: the first five centuries of the Christian church, and especially the mystagogical literature of the fourth century; the Roman Catholic Rite of Christian Initiation of Adults developed after the Second Vatican Council; and the United Methodist Church in the United States, both texts officially authorized by the denomination's General Conference and unofficial materials, among them resources for an adult catechumenate in the Come to the Waters series. In addition, previous and current practices of preparation for baptism in the Korean Methodist Church are identified and critiqued. From these findings a set of principles is put forward that guide the proposed catechumenal structure.

Practices of Ministerial Leadership of Korean-American United Methodist Clergywomen; Toward a Wesleyan Ecclesiology in a Global Context

This study documents, analyzes, and interprets Korean American United Methodist (KAUM) clergywomen‘s experiences in and understandings of the church. It examines contributions these (and potentially, other) clergywomen might make to Wesleyan ecclesiology generally, and particular ways United Methodists live out their faith in transitional, diverse, and global contexts. The project attempts to re-vision existing Wesleyan ecclesial discourse in the United Methodist Church (UMC) by recognizing and incorporating the contributions of racial-ethnic clergy as expressed through their leadership and practices of faith. A "practice-theory-practice" model of practical theology was used to pay systematic attention to the practical locus of the inquiries. Twenty Korean American United Methodist clergywomen were interviewed by telephone, using a voluntary sampling technique to ascertain how they both experienced the church and understood and lived out various practices of faith, including preaching, participation in and administration of the sacraments, preparation for ordained ministry, and other spiritual practices such as prayer, worship, retreats, and journaling. The dissertation summarizes those findings, provides contextual and historical interpretation, and then analyzes their responses in relation to Wesleyan theology, MinJung (mass of people) theology, and the theology of YeoSung (women who display dignity and honor as human beings). This study identifies the extraordinary call of the KAUM clergywomen interviewees to be bridge builders, strong nurturers, wounded healers, committed educators, breakers of old stereotypes, persistent seekers to fulfill God‘s call, and ecclesial leaders with ―tragic consciousness‖ who can disrupt marginality and facilitate the creative transformation of Han (a deep experience of suffering and oppression) into a constructive energy capable of shaping a new reality. According to this study, KAUM clergywomen‘s experiences and practices of faith as ecclesial leaders strengthen Wesleyan ecclesiology in terms of the UMC‘s efforts to be an inclusive church through connectionalism, and its commitment to social justice. MinJung theology and the theology of YeoSung, in their respective understandings of the church, broaden Wesleyan ecclesiology and enable the Church to be more relevant in a global context by embracing those who have not been normative theological subjects.

Program Representation Size in an Intermediate Language with Intersection and Union Types

The CIL compiler for core Standard ML compiles whole programs using a novel typed intermediate language (TIL) with intersection and union types and flow labels on both terms and types. The CIL term representation duplicates portions of the program where intersection types are introduced and union types are eliminated. This duplication makes it easier to represent type information and to introduce customized data representations. However, duplication incurs compile-time space costs that are potentially much greater than are incurred in TILs employing type-level abstraction or quantification. In this paper, we present empirical data on the compile-time space costs of using CIL as an intermediate language. The data shows that these costs can be made tractable by using sufficiently fine-grained flow analyses together with standard hash-consing techniques. The data also suggests that non-duplicating formulations of intersection (and union) types would not achieve significantly better space complexity.

Automatic Detection of Relevant Head Gestures in American Sign Language Communication

An automated system for detection of head movements is described. The goal is to label relevant head gestures in video of American Sign Language (ASL) communication. In the system, a 3D head tracker recovers head rotation and translation parameters from monocular video. Relevant head gestures are then detected by analyzing the length and frequency of the motion signal's peaks and valleys. Each parameter is analyzed independently, due to the fact that a number of relevant head movements in ASL are associated with major changes around one rotational axis. No explicit training of the system is necessary. Currently, the system can detect "head shakes." In experimental evaluation, classification performance is compared against ground-truth labels obtained from ASL linguists. Initial results are promising, as the system matches the linguists' labels in a significant number of cases.

An alignment based similarity measure for hand detection in cluttered sign language video

Locating hands in sign language video is challenging due to a number of factors. Hand appearance varies widely across signers due to anthropometric variations and varying levels of signer proficiency. Video can be captured under varying illumination, camera resolutions, and levels of scene clutter, e.g., high-res video captured in a studio vs. low-res video gathered by a web cam in a user’s home. Moreover, the signers’ clothing varies, e.g., skin-toned clothing vs. contrasting clothing, short-sleeved vs. long-sleeved shirts, etc. In this work, the hand detection problem is addressed in an appearance matching framework. The Histogram of Oriented Gradient (HOG) based matching score function is reformulated to allow non-rigid alignment between pairs of images to account for hand shape variation. The resulting alignment score is used within a Support Vector Machine hand/not-hand classifier for hand detection. The new matching score function yields improved performance (in ROC area and hand detection rate) over the Vocabulary Guided Pyramid Match Kernel (VGPMK) and the traditional, rigid HOG distance on American Sign Language video gestured by expert signers. The proposed match score function is computationally less expensive (for training and testing), has fewer parameters and is less sensitive to parameter settings than VGPMK. The proposed detector works well on test sequences from an inexpert signer in a non-studio setting with cluttered background.

Cuckoo: a Language for Implementing Memory- and Thread-safe System Services

This paper is centered around the design of a thread- and memory-safe language, primarily for the compilation of application-specific services for extensible operating systems. We describe various issues that have influenced the design of our language, called Cuckoo, that guarantees safety of programs with potentially asynchronous flows of control. Comparisons are drawn between Cuckoo and related software safety techniques, including Cyclone and software-based fault isolation (SFI), and performance results suggest our prototype compiler is capable of generating safe code that executes with low runtime overheads, even without potential code optimizations. Compared to Cyclone, Cuckoo is able to safely guard accesses to memory when programs are multithreaded. Similarly, Cuckoo is capable of enforcing memory safety in situations that are potentially troublesome for techniques such as SFI.

Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking

This paper formally defines the operational semantic for TRAFFIC, a specification language for flow composition applications proposed in BUCS-TR-2005-014, and presents a type system based on desired safety assurance. We provide proofs on reduction (weak-confluence, strong-normalization and unique normal form), on soundness and completeness of type system with respect to reduction, and on equivalence classes of flow specifications. Finally, we provide a pseudo-code listing of a syntax-directed type checking algorithm implementing rules of the type system capable of inferring the type of a closed flow specification.

Facial Feature Tracking and Occlusion Recovery in American Sign Language

Facial features play an important role in expressing grammatical information in signed languages, including American Sign Language(ASL). Gestures such as raising or furrowing the eyebrows are key indicators of constructions such as yes-no questions. Periodic head movements (nods and shakes) are also an essential part of the expression of syntactic information, such as negation (associated with a side-to-side headshake). Therefore, identification of these facial gestures is essential to sign language recognition. One problem with detection of such grammatical indicators is occlusion recovery. If the signer's hand blocks his/her eyebrows during production of a sign, it becomes difficult to track the eyebrows. We have developed a system to detect such grammatical markers in ASL that recovers promptly from occlusion. Our system detects and tracks evolving templates of facial features, which are based on an anthropometric face model, and interprets the geometric relationships of these templates to identify grammatical markers. It was tested on a variety of ASL sentences signed by various Deaf native signers and detected facial gestures used to express grammatical information, such as raised and furrowed eyebrows as well as headshakes.

Type Systems for a Network Specification Language With Multiple-Choice Let

When analysing the behavior of complex networked systems, it is often the case that some components within that network are only known to the extent that they belong to one of a set of possible "implementations" – e.g., versions of a specific protocol, class of schedulers, etc. In this report we augment the specification language considered in BUCSTR-2004-021, BUCS-TR-2005-014, BUCS-TR-2005-015, and BUCS-TR-2005-033, to include a non-deterministic multiple-choice let-binding, which allows us to consider compositions of networking subsystems that allow for looser component specifications.

Extending snBench to Support a Graphical Programming Interface for a Sensor Network Tasking Language (STEP)

The purpose of this project is the creation of a graphical "programming" interface for a sensor network tasking language called STEP. The graphical interface allows the user to specify a program execution graphically from an extensible pallet of functionalities and save the results as a properly formatted STEP file. Moreover, the software is able to load a file in STEP format and convert it into the corresponding graphical representation. During both phases a type-checker is running on the background to ensure that both the graphical representation and the STEP file are syntactically correct. This project has been motivated by the Sensorium project at Boston University. In this technical report we present the basic features of the software, the process that has been followed during the design and implementation. Finally, we describe the approach used to test and validate our software.