Abstract: A system and method for recognizing a goal of an actor in an environment by considering hypothesized unobserved actions. The method includes providing a plan library that includes a list of possible goals and corresponding plans. Actions of the actor are observed, and the occurrence of hypothesized unobserved actions are considered. Finally, one or more plans consistent with the observed actions and the consideration of hypothesized unobserved actions are identified.

Abstract: Methods and apparatus for performing formal verification of a system defined by a set of automata are useful in facilitating computing efficiencies during the verification of an incremental system design. The various embodiments permit computing efficiencies by saving information generated during a verification of the system for use in subsequent verification runs. The saved information includes calculation results pertaining to instances or elements of the system that do not require modification for the next subsequent verification.

Abstract: A method for carrying out a real estate settlement using electronic documents, substantially in the absence of paper, where substantially all real estate settlement papers are provided in electronic format for review, signing, transmitting and storing.

Abstract: A recording system and method where a Customer Communication Unit transmits an order to a Central Unit, where the Central Unit retrieves the ordered item from the database and records same on a CD, DVD or MP3 recording.

Abstract: A plan recognition method is implemented by a processing system and includes monitoring actions of a user, recognizing a plan of the user based on the monitored actions, and recognizing an abandonment of the plan based on the monitored actions.

Abstract: A system and method for recognizing a goal of an actor in an environment by considering hypothesized unobserved actions. The method includes providing a plan library that includes a list of possible goals and corresponding plans. Actions of the actor are observed, and the occurrence of hypothesized unobserved actions are considered. Finally, one or more plans consistent with the observed actions and the consideration of hypothesized unobserved actions are identified.

Abstract: Methods and apparatus for performing formal verification of a system defined by a set of automata are useful in facilitating computing efficiencies during the verification of an incremental system design. The various embodiments permit computing efficiencies by saving information generated during a verification of the system for use in subsequent verification runs. The saved information includes calculation results pertaining to instances or elements of the system that do not require modification for the next subsequent verification.

Abstract: Network reference models and configuration tools utilizing a database engine providing deduction facilitate automatic or semi-automatic configuration of security software packages based on security policies. One or more associated databases provide a central repository of information about the network and its security goals. The associated databases may further provide a central repository of information about network events, such as possible attacks and benign events that could be confused with attacks. Taken together, the database engine and associated databases facilitate automated generation of detailed security goals. The security goals can then be used by various configuration modules to configure security software packages installed within the network.

Abstract: A fiber optic hydrophone is formed as a single interferometer having widely separated interferometer segments formed in each of a pair of optical fibers. The interferometer segments are designed to allow averaging of the effects of local noise sources over a broad area in order to increase the acoustic signal-to-noise ratio. The interferometer segments also allow deployment of the hydrophone around sharp bends. A first optical fiber is formed into a plurality of spatially separated outer coils. A second optical fiber is formed into a plurality of inner coils corresponding to the outer coils. The inner and outer coils are preferably arranged in concentric pairs to form a plurality of sensor segments. A plurality of spacers is arranged such that a spacer is between successive sensor segments.

Abstract: A connector for making and securing low loss optical contact between a first plurality of optical fibers, each including a ferrule-encapsulated terminal end, and a second plurality of optical fibers, each also including a ferrule-encapsulated terminal end. Each of the ferrules is individually fixed to a cap that includes an asymmetrical keying member. Male and female connector members include internal channels for accepting ferrule-fixed cups with predetermined angular orientations. Springs are axially aligned within the channels for independently urging each cup-fixed ferrule into optical contact with a mating ferrule. In this way, multiple rotational and axial alignments are simultaneously and independently achieved and maintained between mated pairs of optical fibers.

Abstract: Disclosed herein in a side mounted aperture and a Faraday rotator assembly useful in conjunction with an out-of-plane multi-oscillator ring laser gyroscope. The aperture and Faraday rotator assemblies contain components which are optically contacted to one another as well as the ring laser gyroscope frame. The assemblies disclosed herein provide a simplified construction designed to fixture the Faraday rotator element in order to minimize handling and facilitate alignment to the ring laser gyroscope cavity, free from contamination and in proper alignment for optimum use of the Faraday rotator component and aperture needed for proper operation of an out-of-plane multi-oscillator ring laser gyroscope.