Sciweavers

2019 search results - page 306 / 404
» Programming with Shared Data Abstractions
Sort
View
LREC
2010
170views Education» more  LREC 2010»
14 years 11 months ago
Transcription Methods for Consistency, Volume and Efficiency
This paper describes recent efforts at Linguistic Data Consortium at the University of Pennsylvania to create manual transcripts as a shared resource for human language technology...
Meghan Lammie Glenn, Stephanie Strassel, Haejoong ...
WICSA
2008
14 years 11 months ago
Using Types to Enforce Architectural Structure
The right software architecture is critical to achieving essential quality attributes, but these qualities are only realized if the program as implemented conforms to its intended...
Jonathan Aldrich
WSC
2000
14 years 11 months ago
Modeling reality with simulation games for a cooperative learning
In this work we want to show the importance of visualization, interfaces and re-design techniques through 3D modeling, animations and VRML in the developing of the simulation game...
João Rafael Galvão, Paulo Garcia Mar...
HPDC
2010
IEEE
14 years 11 months ago
Versioning for workflow evolution
Scientists working in eScience environments often use workflows to carry out their computations. Since the workflows evolve as the research itself evolves, these workflows can be ...
Eran Chinthaka Withana, Beth Plale, Roger S. Barga...
CORR
2008
Springer
103views Education» more  CORR 2008»
14 years 9 months ago
Executable Set Theory and Arithmetic Encodings in Prolog
The paper is organized as a self-contained literate Prolog program that implements elements of an executable finite set theory with focus on combinatorial generation and arithmetic...
Paul Tarau