21342 search results - page 3986 / 4269 » A Structured Language Model |
133
click to vote
ATAL
2005
Springer
15 years 8 months ago
2005
Springer
One of the key issues in designing appropriate and effective learning environments is understanding how learners advance and what factors contribute to their progress. This holds...
138
click to vote
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
From Proc. CAiSE05 LNCS 3520, Pages 460-474 c Springer-Verlag 2005 Semi-structured data sources, such as XML, HTML or CSV files, present special problems when performing data int...
134
click to vote
CAISE
2005
Springer
15 years 8 months ago
2005
Springer
This paper presents a detailed integration process for XML schemata called BInXS. BInXS adopts a global-as-view integration approach that builds a global schema from a set of heter...
126
click to vote
CHARME
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...
101
click to vote
CONCUR
2005
Springer
15 years 8 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...