Pocket KrHyper

Pocket KrHyper

er et teorem bevise bibliotek for J2ME mobiltelefoner. Det understøtter ræsonnement i udsagnslogik, første ordre, og beskrivelse logik og er rettet mod mobile videnledelse eller semantiske web-applikationer. & Middot; Den første Reasoner til mobiltelefoner & Middot; Bruger få ressourcer & Middot; Interfaces til clausal første ordre logik og beskrivelse...

Læs mere

Stroke Painter

Stroke Painter

Slagtilfælde Painter er en overlegen cjkmobile projekt (http://code.google.com/p/cjkmobile/) at indføre animerede Java mobil læring program til at vise, hvordan man male streger bestille for kinesisk, japansk, koreansk fælles tegn. Stroke maler formodes at være bærbar og egnet til enhver mobil understøtter Java MIDlet 2.1. Egenskaber 1- Mindre størrelse i forhold til cjkmobile 2 Support 3199 tegn 3 Give animeret slagtilfælde orden 4- det datasæt batched med krukken (ikke nødvendigt at downloade...

Læs mere