We present a multi-sentence question segmentation strategy for community question answering services to alleviate the complexity of long sentences. We develop a complete scheme and make a solution to complexquestion segmentation, including a question detector to extract question sentences, a question compression process to remove duplicate information, and a graph model to segment multi-sentenc...

Computer viruses continue to pose a threat to the integrity and availability of computer systems. This is especially true for users of personal computers. A variety of anti-virus tools are now available to help manage this threat. These tools use a wide range of techniques to detect, identify, and remove viruses. This guide provides criteria for judging the functionality, practicality, and conv...

An Orc-based abstract model of grid computation is used as a basis for re-engineering a grid-oriented skeleton based programming environment to remove one of the skeleton system’s recognized weak points. Lightweight reasoning about non-functional properties is used to guide the redesign of the system. It is argued that such a use of a formal model delivers significant return for small investmen...

We present a patient with a remote history of splenectomy and recent hemicolectomy for colon adenocarcinoma. On routine surveillance chest/abdomen/pelvis CT, a lesion suspicious for hepatic metastasis was identified. Followup MRI was inconclusive. For more specific tissue characterization, imaging with Tc-99m heat-damaged RBCs was obtained to guide further patient management. Tc-99m-labeled, he...

The ultimate goal for an esthetic rehabilitation is the restoration of health, beauty, and function to the patient. This article illustrates a predictable system to guide the clinician with tooth preparations for porcelain veneer restorations based upon the additive diagnostic wax-up. This system promotes a preparation technique using a series of guides that direct the clinician to reduce only ...

Over recent years, the fall in cost, and increased availability of motion capture equipment has led to an increase in non-specialist companies being able to use motion capture data to guide animation sequences for computer games and other applications.[1] A bottleneck in the animation production process is in the clean-up of capture sessions to remove and/or correct anomalous (unusable) frames ...

The generation of too much information prohibits eecient resolution proof search in classical logics. Hence subsumption is used to discard redundant information and strategies have been developed to guide the proof search avoiding irrelevant information. The extension of the resolution method to temporal logics, for example that by Fisher for propositional linear-time temporal logics, further m...

Fault tolerance is one of the most important means to avoid service failure in the presence of faults, so to guarantee they will not interrupt the service delivery. Software testing, instead, is one of the major fault removal techniques, realized in order to detect and remove software faults during software development so that they will not be present in the final product. This paper shows how ...

Connict resolution in planning is the process of constraining a plan to remove harmful interactions that threaten its correctness. It has been a major contributing factor to the complexity of classical planning systems. Traditional planning methods have dealt with the problem of connict resolution in a local and incremental manner, by considering and resolving connicts individually. This paper ...

SNePS is a mature knowledge representation, reasoning, and acting system that has long contained a belief revision subsystem, called SNeBR. SNeBR is triggered when an explicit contradiction is introduced into the SNePS belief space, either because of a user’s new assertion, or because of a user’s query. SNeBR then makes the user decide what belief to remove from the belief space in order to res...