Nowadays, it is difficult and inefficient to publish, retrieve, compare, evaluate and learn ideas and techniques about knowledge engineering since they are not organized into a semantic network but stored within informal documents and hence scattered and described in various ways across millions of such documents (research articles, documentations, emails, etc.). Our knowledge server WebKB-2 su...

This demonstration shows the tool we have developed for hand-sketching user interfaces. Our motivation for developing this tool is to provide an environment where novice programmers can move freely along the design continuum from informal low-fidelity prototypes to completed formal designs. A low-cost digital whiteboard is used to provide a shared work space for Freeform. The tool is integrated...

This paper present the treatment of prepositions and conjunctionsinnatural languageinterfacestodatabases(NLIDB)thatallowsbetter translation of queries expressed in natural language into formal languages. Prepositions and conjunctionsweren’t sufficiently studied for their usage in NLIDBs,becausemostoftheNLIDBsjust lookforkeywordsinthesentences and focus their analysis on nouns and verbs getting ...

Selecting important information while accounting for repetitions is a hard task for both summarization and question answering. We propose a formal model that represents a collection of documents in a two-dimensional space of textual and conceptual units with an associated mapping between these two dimensions. This representation is then used to describe the task of selecting textual units for a...

This paper presents formal specification and verification of the multiparty call in ATM UNI signalling protocol. The protocol specification is written in the CCS process algebra (Calculus of Communicating Systems). Verification is done by using the NCSU-Concurrency Workbench. Due to the complexity of the protocol, the model is decomposed into three components. The protocol is verified by the mo...

Over the past decade, the most significant evolution in organization might be the dawn of the new economy in connection with the value of intellectual assets. In this paper, we combine Formal Concept Analysis (FCA) with Protégé in order to construct ontology-based Yoga method serving both as an example, and a knowledge-sharing platform. This may build a picture of experts’ knowledge and underst...

in different linguistic studies, usually only one type of collocations has been investigated and in the classifications that have been introduced for different types of collocations, just formal and grammatical properties of the words within collocations have been mentioned. this study, for the first time, introduces eight criteria such as pivot word, feature percolation and separability for de...

There is presented a technique of transcribing Lithuanian text into phonemes for speech recognition. Text-phoneme transformation has been made by formal rules and the dictionary. Formal rules were designed to set the relationship between segments of the text and units of formalized speech sounds – phonemes, dictionary – to correct transcription and specify stress mark and position. Proposed the...

(-)-gephyrotoxin-223 was formally synthesized from chiral synthon 1 which has been chemoenzymatically synthesized  in the presence  of candida antartica lipase.