Sciweavers

3653 search results - page 54 / 731
» Learning of Partial Languages
Sort
View
WMTE
2005
IEEE
14 years 2 months ago
LOCH: Supporting Informal Language Learning Outside the Classroom with Handhelds
The continuous development of wireless and mobile technologies has allowed the creation of an additional platform for supporting learning, one that can be embedded in the same phy...
Rosa G. J. Paredes, Hiroaki Ogata, A. Nobuji, Yasu...
IFL
2007
Springer
221views Formal Methods» more  IFL 2007»
14 years 2 months ago
From Contracts Towards Dependent Types: Proofs by Partial Evaluation
Abstract. The specification and resolution of non-trivial domain constraints has become a well-recognised measure for improving the stability of large software systems. In this pa...
Stephan Herhut, Sven-Bodo Scholz, Robert Bernecky,...
ASWC
2009
Springer
14 years 1 days ago
Reasoning about Partially Ordered Web Service Activities in PSL
Many tasks within semantic web service discovery can be formalized as reasoning problems related to the partial ordering of subactivity occurrences in a complex activity. We show h...
Michael Gruninger, Xing Tan
AI
2007
Springer
13 years 8 months ago
Determining the consistency of partial tree descriptions
We present an efficient algorithm that checks the consistency of partial descriptions of ordered trees. The constraint language of these descriptions was introduced by Cornell in c...
Manuel Bodirsky, Martin Kutz
ICMLC
2010
Springer
13 years 6 months ago
Data mining model in analyzing portuguese studies as the second language acquisition
: Portuguese is specifically a difficult language with luxuriant tenses, and second language acquisition (SLA) is regarded as highly variable. Many (Chinese) students who learn Por...
Sam Chao, Fai Wong, CustoDio Cavaco Martins