[PDF] Top 20 Automatic Refinement Checking for B
Has 10000 "Automatic Refinement Checking for B" found on our website. Below are the top 20 most common "Automatic Refinement Checking for B".
Automatic Refinement Checking for B
... many refinement checks of the same abstract system, covering a large part of its state space, and if one has enough memory to normalise the entire abstract ... See full document
15
Using UML B and U2B for formal refinement of digital components
... Atelier B generated 127 proof obligations of which the automatic prover proved 101. A further 24 were proved interactively leaving 2 unproved. For the 24 PO’s that were proved interactively the proofs were ... See full document
10
Automatic Refinement of a POS Tagger Using a Reliable Parser and Plain Text Corpora
... This paper proposes a new unsupervised learning method for obtaining English part-of- speech(POS) disambiguation rules which would improve the accuracy of a POS tagger. This method has been implemented in the ... See full document
7
A Non-Standard Approach for the OWL Ontologies Checking and Reasoning
... the characteristics of circular structure and contain- features that are more conducive to the expression of OWL ontologies. Alloy Analyzer is a software tool which can be used to analyze specifications written in the ... See full document
8
UP-3881.7_Univac_1004_III_Tape_System_General_Description.pdf
... Write Checking:- A Write Check operation during tape writing provides an automatic check of each character as it is recorded. A programmed Erase-before-Write instructi[r] ... See full document
22
The automated monitoring robot (MOBOT)
... effective checking process, an automatic robot are able to detect and localize the gas leakage sources would be useful in various scenario, for instance to monitor and check high risk combustible and ... See full document
24
Linguistic Steganography Using Automatically Generated Paraphrases
... The performance of the system is evaluated us- ing accuracy, precision, recall and balanced F- measure. Accuracy is the percentage of correct judgements over all grammatical and ungrammati- cal paraphrases. Precision is ... See full document
9
A Case Study of Model Checking Retail Banking System with SPIN
... Retail bank is an important bank business, which offers a range of services to individual customers and small businesses, rather than to large companies and other banks. The services usually include current accounts, ... See full document
8
A Neural Network Model for Automatic Image Annotation and Annotation Refinement: A survey
... Color is the most used visual feature for image retrieval due to the computational efficiency of its extraction. All colors can be represented variable combinations of the three so-called primary colors: red (R), green ... See full document
5
Automatic Detection of Discourse Structure by Checking Surface Information in Sentences
... Automatic Detection of Discourse Structure by Checking Surface Information in Sentences Auton latic D e t e c t i o n o f D i s c o u r s e S t r u c t u r e b y C h e c k i n g S u r f a c e i n f o[.] ... See full document
5
uu udescribes the image motion in a video image
... the automatic step wise refinement of the solution with the special type of isotropic mesh refinement process which is controlled by a posteriori error estimate in a suitable norm which is a ... See full document
5
AppleWorks 5 User’s Manual
... To set up a field for data checking or automatic entry, select the field from the list in the Define Database Fields dialog box and click Options. You see the options available for the[r] ... See full document
293
Iterative Refinement and Quality Checking of Annotation Guidelines — How to Deal Effectively with Semantically Sloppy Named Entity Types, such as Pathological Phenomena
... lation types are annotated, including HasFinding, HasIndi- cation, HasLocation, HasTarget, and Modifies, as well as temporal annotations (such as Before, After, Overlap, In- cludes) for time-sensitive named entities. ... See full document
5
Consideration on Core Layer Dynamic Network and Server Refinement Using Event-B
... Abstract— in computer networks, a server is an instance of a computer that accepts and responds to requests made by users and clients and admins. Less formally, any device that runs server software could be considered a ... See full document
9
ProTest: An Automatic Test Environment for B Specifications
... the B machine are transformed into finite enumerated states; and also the sizes are kept small to facilitate exhaustive model ...each B operation to generate a set of operation ... See full document
20
Model Checking Based Approach for Compliance Checking
... model checking can not provide counterexample, in the non probabilistic setting counterexamples represent one of the key reasons for the success of model checking ...model checking shows a property ... See full document
21
Automatic Generation, Refinement and Analysis of Security Policies.
... Signature Generation. There has been a lot of work on automatic signature generation for malware defense. From the perspective of attacks, Autograph[KK04], Polygraph[New] and Hamsa[Li] auto- matically generate ... See full document
125
Towards a holistic framework for software artefact consistency management
... consistency checking and change ...be automatic and mostly user input is required) or manual manner (the solution offers data or visualisation but the task is performed by the ... See full document
253
Semi Automatic Entity Set Refinement
... Recall the set expansion example of Roman Gods from Section 1. Key to our approach is the hypothesis that most expansion errors result from some systematic cause. Manual inspection of ex- pansions from GoogleSets and ... See full document
9
Automatic Refinement of Syntactic Categories in Chinese Word Structures
... semi- automatic approach to Chinese word structure annotation, covering more morphological phenomena, including com- pounding, which is a more popular word formation ... See full document
6
Related subjects