The increasing popularity of XML Web services motivates us to examine if it is feasible to substitute one vendor service for another when using a Web-based application, assuming th...
Abstract. This paper presents a knowledge-based approach to eLearning, where the domain ontology plays central role as a resource structuring the learning content and supporting ļ¬...
Galia Angelova, Ognian Kalaydjiev, Albena Strupcha...
Abstract. This paper proposes a simpliļ¬ed simultaneous multithreading (SMT) architecture aiming at CPU cores of embedded SoCs for consumer applications. This architecture reduces...
Byung In Moon, Hongil Yoon, Ilgun Yun, Sungho Kang
Logical systems in natural deduction style are usually presented in the Gentzen style. A diļ¬erent deļ¬nition of natural deduction, that corresponds more closely to proofs in ord...
This paper deļ¬nes a type of constrained artiļ¬cial neural network (ANN) that enables analytical certiļ¬cation arguments whilst retaining valuable performance characteristics. ...