1052 search results - page 56 / 211 » The Brandeis Annotation Tool |
LREC
2010
13 years 9 months ago
2010
Annotation of digital recordings in humanities research still is, to a large extend, a process that is performed manually. This paper describes the first pattern recognition based...
FM
2003
Springer
14 years 1 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...
ECBS
2006
IEEE
14 years 2 months ago
2006
IEEE
Design patterns are an established means for building evolvable and maintainable object-oriented software. However, using them requires the developer’s extensive experience. A w...
CIKM
2008
Springer
13 years 10 months ago
2008
Springer
Modern efforts on digitizing electronic books focus on preserving authentic "spatial" representation of the original sources. The new format requires new tools to help u...
ENTCS
2006
13 years 8 months ago
2006
In this paper we propose a technique to automate the process of building translators between operations languages, a family of DSLs used to program satellite operations procedures...