7404 search results - page 76 / 1481 » New Tools in Education |
163
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
130
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
In this paper the authors are addressing the concerns associated with fast growing DSP chips and tools and the impact they have on teaching DSP implementation. The authors also pr...
175
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Because spreadsheets have a large and growing importance in real-world work, their contents need to be controlled and validated. Generally spreadsheets have been difficult to veri...
171
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
The Annotation Graph Toolkit is a collection of software supporting the development of annotation tools based on the annotation graph model. The toolkit includes application progr...
109
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
In this paper we introduce the methodology used and the basic phases we followed to develop the Catalan WordNet, and which lexical resources have been employed in its building. Th...