Sciweavers

40 search results - page 5 / 8
» CLARIN and Free Open Source Finite-State Tools
Sort
View
CHI
2009
ACM
14 years 8 months ago
Designing for discovery: opening the hood for open-source end user tinkering
According to the Free Software Movement, the user ought to have "the freedoms to make changes, and to publish improved versions" and "to study how the program works...
Gifford Cheung, Parmit Chilana, Shaun K. Kane, Bra...
ACL
2010
13 years 5 months ago
It Makes Sense: A Wide-Coverage Word Sense Disambiguation System for Free Text
Word sense disambiguation (WSD) systems based on supervised learning achieved the best performance in SensEval and SemEval workshops. However, there are few publicly available ope...
Zhi Zhong, Hwee Tou Ng
FROCOS
2005
Springer
14 years 1 months ago
Combination of Isabelle/HOL with Automatic Tools
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
Sergey Tverdyshev
QEST
2006
IEEE
14 years 1 months ago
UPPAAL 4.0
— UPPAAL 4.0 is the result of over two and a half years of development and contains many new features, additions to the modeling language, performance improvements, enhancements ...
Gerd Behrmann, Alexandre David, Kim Guldstrand Lar...
CHI
2002
ACM
14 years 8 months ago
Video browsing interfaces for the open video project
The Open Video Project is an on-going effort to develop an open source digital video collection that can be used by the research community and ultimately serve an even broader aud...
Gary Geisler, Gary Marchionini, Barbara M. Wildemu...