Sciweavers

6201 search results - page 224 / 1241
» Implementation of Axiomatic Language
Sort
View
DLOG
2007
15 years 7 months ago
OntoVQL: A Graphical Query Language for OWL Ontologies
The database usability experience has shown that visual query languages tend to be superior to textual languages in many aspects. By applying this principle in the context of ontol...
Amineh Fadhil, Volker Haarslev
AAAI
2006
15 years 6 months ago
The Tactical Language and Culture Training System: A Demonstration
In this demonstration we will present the Tactical Iraqi, one of the implementations of the Tactical Language and Culture Training System (TLTS). The system helps learners acquire...
André Valente, W. Lewis Johnson, Hannes H&o...
CORR
2010
Springer
111views Education» more  CORR 2010»
15 years 5 months ago
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
Guido de Caso, Diego Garbervetsky, Daniel Gor&iacu...
ICPR
2010
IEEE
15 years 3 months ago
Automatic Pronunciation Transliteration for Chinese-English Mixed Language Keyword Spotting
This paper presents automatic pronunciation transliteration method with acoustic and contextual analysis for Chinese-English mixed language keyword spotting (KWS) system. More ofte...
Shilei Zhang, Zhiwei Shuang, Yong Qin
PODS
2002
ACM
117views Database» more  PODS 2002»
16 years 5 months ago
Monadic Datalog and the Expressive Power of Languages for Web Information Extraction
Research on information extraction from Web pages (wrapping) has seen much activity in recent times (particularly systems implementations), but little work has been done on formal...
Georg Gottlob, Christoph Koch