In an earlier paper, a general approach to prescribing decision procedures for a command and control team was described. This approach involves three major steps: (1) domain modeling using decision networks (a.k.a. influence diagrams), (2) compiling the domain model into a set of near optimal decision procedures that can be executed by people, and (3) partitioning and distributing the compiled ...

background: all women experience similar changes in the postpartum period, but some special factors make these experiences unique and sometimes cause stress and anxiety. understanding these experiences is essential for providing appropriate postpartum care. this study investigated the meaning and nature of mothers' experiences and their daily life in this period. methods: this is a qualitative ...

In the context of the INTEGRA project, compilation and code generation features for behavior definition are to be integrated in an existing model-based engineering environment for control systems. The devised compiler architecture is domain-specific and provides support for multiple input languages and multiple target platforms. In this paper we discuss an architectural approach in which the co...

In this technical report you can find pointers to user-contributed compiler packages both in elf and none-eabi mode for the ARM architecture. Instructions for compiling as well as summarized technical information to help understand the reasoning involved are given so that users know concisely how to configure their TinyOS environment and to facilitate other ARM programmers' work. It mainly focu...

Possibilistic knowledge bases gather propositional formulas associated with degrees belonging to a linearly ordered scale. These degrees reflect certainty or priority, depending if the formulas encode pieces of beliefs or goals to be pursued. Possibilistic logic provides a simple format that turns to be useful for handling qualitative uncertainty, exceptions or preferences. The main result of t...

This paperpresents a new approach for exploiting Truth Maintenance Systems(TMSs in which the inference engine can convey locality in its knowledge to the TMS . This approach is ideally suited for systems which reason about the physical world because much of knowledge is inherently local, i .e ., the constraints for a particular component or process usually only interact with constraints of phys...

This paper presents an overview of a prototype hardware compiler which compiles a design expressed in the Ruby language into FPGAs. The features of two important modules, the reenement module and the oorplanning module, are discussed and illustrated. Target code can be produced in various formats, including device-speciic formats such as XNF or CFG, and device-independent formats such as VHDL. ...

The traditional target machine of a parallelizing compiler can execute code sections either serially or in parallel. In contrast, targeting the generated code to a speculative parallel processor allows the compiler to recognize parallelism to the best of its abilities and leave other optimization decisions up to the processor's runtime detection mechanisms. In this paper we show that simple imp...

The year 2010 should see the breakthrough for 3D television. All major manufacturers in the computer and entertainment industry presented 3D products. Polarization still competes with shutter technology; autostereoscopic systems are furthermore under development. Due to the HDMI interface PC, TV and dataprojection are connected together. This contribution covers the principles of current develo...