Sciweavers

951 search results - page 110 / 191
» Suggestions for OWL 3
Sort
View
ICC
2007
IEEE
122views Communications» more  ICC 2007»
16 years 16 days ago
Seamless Multimedia Broadcasting Over cdma2000 BCMCS Networks
— Recent advances in communication and mobile computing have made it possible for cellular networks and digital broadcasting systems to converge on the basis of their common mult...
Yongwoo Cho, Kyungtae Kang, Heonshik Shin
TPHOL
2007
IEEE
16 years 14 days ago
Formalising Java's Data Race Free Guarantee
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
David Aspinall, Jaroslav Sevcík
AIED
2007
Springer
16 years 12 days ago
The Influence of Learner Characteristics on Task-Oriented Tutorial Dialogue
Tutorial dialogue has been the subject of increasing attention in recent years, and it has become evident that empirical studies of humanhuman tutorial dialogue can contribute impo...
Kristy Elizabeth Boyer, Mladen A. Vouk, James C. L...
CIE
2007
Springer
16 years 11 days ago
Speed-Up Theorems in Type-2 Computation
Abstract. A classic result known as the speed-up theorem in machineindependent complexity theory shows that there exist some computable functions that do not have best programs for...
Chung-Chih Li
CLEF
2007
Springer
16 years 11 days ago
Unsupervised Acquiring of Morphological Paradigms from Tokenized Text
This paper describes a rather simplistic method of unsupervised morphological analysis of words in an unknown language. All what is needed is a raw text corpus in the given langua...
Daniel Zeman