on application objects. These widgets may incorporate visual filters, called Magic Lens™ filters, that modify the presentation of application objects to reveal hidden information, to enhance data of interest, or to suppress distracting information. Together, these tools form a see-through interface that offers

The problem of efficient, interactive foreground/background segmentation in still images is of great practical importance in image editing. Classical image segmentation tools use either texture (colour) information, e.g. Magic Wand, or edge (contrast) information, e.g. Intelligent Scissors

the modularity in the software design. We use weak simulation as the notion of conformance between the program and its specification. Following the abstractverify-refine paradigm, our tool MAGIC first extracts a finite model from C source code using predicate abstraction and theorem proving. Subsequently

-firmed in a second sample (N = 440) and demonstrated superior fit compared to alternative models. The results provide initial evidence of the validity, reliability, and factor structure of a 30-item scale for measuring single, hallucinogen-occasioned mystical experiences, which may be a useful tool

Figure 1: Visuo-haptic augmented reality allows users to see and touch virtual objects, which are embedded in the real world. (a) shows our setup with a head-worn display and a haptic device; screenshots from selected applications using our framework: (b) virtual tools are overlaid onto the phantom

Magic Lens filters are a new user interface tool that combine an arbitrarily-shaped region with an operator that changes the view of objects viewed through that region. These tools can be interactively positioned over on-screen applications much as a magnifying glass is moved over a newspaper

Development of analysis tools for the

Of course, words aren’t magic. Neither are sextants, compasses, maps, slide rules and all the other paraphenelia which have accreted around the basic biological brains of homo sapiens. In the case of these other tools and props, however, it is transparently clear that they function so as to either

How to render very complex datasets, and yet maintain interactive response times, is a hot topic in computer graphics. The MagicSphere idea originated as a solution to this problem, but its potential goes much further than this original scope. In fact, it has been designed as a very generical 3D

Abstract The robust and versatile MAGIC Analysis and Reconstruction Software ("MARS") has been developed for use with the MAGIC Telescope, to convert raw data into physics from FADC output to fluxes. MARS will be used for online analysis, standard analysis, and for the in-depth analysis