984 search results - page 174 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
118
Voted
IAT
2008
IEEE
15 years 3 months ago
2008
IEEE
Scaffolding techniques allow human instructors to support novice learners in critical early stages, and to remove that support as expertise grows. This paper describes nAble, an a...
98
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract--This paper proposes a method for deriving formal specifications of systems. To accomplish this task we pass through a non trivial number of steps, concepts and tools wher...
102
click to vote
CORR
2006
Springer
15 years 3 months ago
2006
Springer
The present work falls in the line of activities promoted by the European Languguage Resource Association (ELRA) Production Committee (PCom) and raises issues in methods, procedur...
105
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
This paper presents a case study concerning the challenges and requirements posed by next generation language resources, realized as an overall model of open, distributed and coll...
121
Voted
GRID
2006
Springer
15 years 3 months ago
2006
Springer
Manual management of public key credentials can be a significant and often off-putting obstacle to Grid use, particularly for casual users. We describe the Portal-based User Regis...