Dong-A university

Displaying 1-4 of 4 results

  • White Papers // Jul 2012

    A Novel Discriminative Probabilistic Model for Automatic Word Spacing on Mobile Devices

    In this paper, the authors present a new method for automatic word spacing in Korean. Their major challenge is to reduce the memory usage and processing time to be suitable for mobile devices while ensuring a high performance. Since mobile devices are more difficult to type letters into than general...

    Provided By Dong-A university

  • White Papers // Feb 2012

    Mutually Exclusive Queries in Logic Programming

    Logic programming has traditionally lacked devices for expressing mutually exclusive goals and queries. The authors address this limitation by adopting choice-disjunctive goal formulas of the form G1 - G2 where G1, G2 are goals and is a linear logic connective. These goals have the following operational semantics: choose and solve...

    Provided By Dong-A university

  • White Papers // Feb 2012

    Towards Interactive Logic Programming

    Linear logic programming uses provability as the basis for computation. In the operational semantics based on provability, executing the additive-conjunctive goal G1&G2 from a program P simply terminates with a success if both G1 and G2 are solvable from P. This is an unsatisfactory situation, as a central action of...

    Provided By Dong-A university

  • White Papers // Jan 2012

    A Disaster Prevention System in the Transportation of Dangerous Goods by Using IP-RFID

    Transportation of dangerous goods is done through various means, and the management of the entire distribution network is not an easy issue. Especially, an accident that takes place during transportation tends to cause human casualties, property damages and environmental contaminations besides direct damages. Therefore, its management and prevention is very...

    Provided By Dong-A university

  • White Papers // Jul 2012

    A Novel Discriminative Probabilistic Model for Automatic Word Spacing on Mobile Devices

    In this paper, the authors present a new method for automatic word spacing in Korean. Their major challenge is to reduce the memory usage and processing time to be suitable for mobile devices while ensuring a high performance. Since mobile devices are more difficult to type letters into than general...

    Provided By Dong-A university

  • White Papers // Jan 2012

    A Disaster Prevention System in the Transportation of Dangerous Goods by Using IP-RFID

    Transportation of dangerous goods is done through various means, and the management of the entire distribution network is not an easy issue. Especially, an accident that takes place during transportation tends to cause human casualties, property damages and environmental contaminations besides direct damages. Therefore, its management and prevention is very...

    Provided By Dong-A university

  • White Papers // Feb 2012

    Mutually Exclusive Queries in Logic Programming

    Logic programming has traditionally lacked devices for expressing mutually exclusive goals and queries. The authors address this limitation by adopting choice-disjunctive goal formulas of the form G1 - G2 where G1, G2 are goals and is a linear logic connective. These goals have the following operational semantics: choose and solve...

    Provided By Dong-A university

  • White Papers // Feb 2012

    Towards Interactive Logic Programming

    Linear logic programming uses provability as the basis for computation. In the operational semantics based on provability, executing the additive-conjunctive goal G1&G2 from a program P simply terminates with a success if both G1 and G2 are solvable from P. This is an unsatisfactory situation, as a central action of...

    Provided By Dong-A university