In an embodiment, a computer-implemented method for modeling a system using a finite state machine representation is presented. An event-driven temporal logic operator may be associated with a first, active state in the finite state machine representation. A value of the temporal logic operator may be determined by a number of occurrences of an event during an existing activation of the first state associated with the temporal logic operator. A state transition from the first state to a second s...

Various embodiments of methods and systems for improving and enhancing vision are disclosed. Adjustable lenses or optical systems may be used to provide adaptive vision modification. In some embodiments, vision modification may be responsive to the current state of the user's visual system. Certain embodiments provide correction of the subject's near and far vision. Other embodiments provide enhancement of vision beyond the physiological ranges of focal length or magnification.

Eyewear includes a frame, a left temple arm secured to the frame, and a right temple arm secured to the frame. At least one lens is connected to the frame. A first venting aperture is defined by the at least one lens and the frame and is located proximate the left temple arm. A second venting aperture is defined by the at least one lens and the frame and is located proximate the right temple arm. The at least one lens is free of any other apertures.

Methods and apparatus, including computer program products, implementing and using techniques for performing temporal motion vector filtering in digital video are disclosed. A recursive hierarchical process is used to determine a motion vector. In the recursive hierarchical process, a neighborhood of old motion vectors is filtered to generate a first estimated motion vector for an image patch in a pair of two image frames. The filtering process uses multiple vectors in a neighborhood around the ...

A method and system for performing spatial temporal multiplexing using a multi-threshold mask. A mask generator (404) outputs a threshold value for each pixel of a display. The mask generator typically creates a blue noise mask for a given pixel array that is replicated over the face of the entire display. The blue noise mask generator (404) typically is implemented as a memory lookup table. An index generator (402) provides an offset into the memory lookup table that allows the table to be shif...

A software driven, audible output control module can carry out bi-directional communications with an alarm system using the same common link as is used by ambient condition detectors, such as smoke or gas detectors. The audible control module can store characteristics of a plurality of predetermined outputs. The system control can download an audible output originating command. Alternately, such information from detectors can be directly read off the link by the respective modules.

A user interface (UI), which reflects exchanges in the past and the future between a user and entities. The UI includes a background having a user defined granularity, a plurality of dots, which each represent at least one collaborative exchange of a user and which are each arranged on the background, a graphic connection between any two or more dots which each represent exchanges between the user and similar entities, a first graphic which includes first level information, and a second graphic ...

A temporal dithering manager uses temporal dithering to reduce contouring artifacts due to bit limiting. The temporal dithering manager truncates low order bits of an input signal, creates a temporal dither signal based on the truncated low order bits and applies the temporally created dither signal to the truncated signal. A temporal filtering manager applies a temporal filter to the truncated signal, thereby improving the quality of the truncated signal. The temporal dithering can be applied a...

A radiation detecting system for direct viewing and imaging comprises a quantum mechanical substance that is arranged both to receive target radiation and to fluoresce for a predetermined lifetime. A source of pulsed pump radiation is coupled to the quantum mechanical substance, and the pump radiation is selected to possess a predetermined pulse duration less than the fluorescent lifetime of the quantum mechanical substance. A detector unit is optically coupled to the output of the quantum mecha...

A garbage collection system for digital computers classifies memory objects into generations. Objects in older generations which need to reference younger generations must do so indirectly through indirection cells located in the older generation. Thus, all pointers into a generation come from younger generations or indirection cells. When a generation is collected, the indirection cells in that generation are defined to be oldspace and collected in the usual manner. Indirection cells of older g...