Sciweavers

1820 search results - page 248 / 364
» Generic Graphical User Interfaces
Sort
View
99
Voted
CORR
2006
Springer
119views Education» more  CORR 2006»
15 years 2 months ago
DepAnn - An Annotation Tool for Dependency Treebanks
DepAnn is an interactive annotation tool for dependency treebanks, providing both graphical and text-based annotation interfaces. The tool is aimed for semi-automatic creation of t...
Tuomo Kakkonen
174
Voted
MMS
2006
15 years 2 months ago
qWixP, a Qt-based, Wireless Information Exchange Platform
: Due to technological advances, wireless personal digital assistants (PDAs) are becoming quite popular. However, it seems as if none of the existing applications fully exploits th...
Ralf Salomon, Holger Harms, Frank Reichenbach, Tho...
106
Voted
LDVF
2000
112views more  LDVF 2000»
15 years 2 months ago
The instructible agent Lokutor
In this paper we describe Lokutor, a virtual human. Lokutor is a partially autonomous agent, inhabiting a 3D virtual environment. The agent can be controlled via natural language ...
Jan-Torsten Milde
110
Voted
INFORMATICALT
2010
116views more  INFORMATICALT 2010»
15 years 1 months ago
An Approach to Formalize Metainformation of Software Localizable Resources
Software localization is one of important tasks to insure a successful computer user experience. The paper discusses how localization of the software dialog text can be accelerated...
Valentina Dagiene, Tatjana Jevsikova
118
Voted
TACAS
2004
Springer
94views Algorithms» more  TACAS 2004»
15 years 8 months ago
A Tool for Checking ANSI-C Programs
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
Edmund M. Clarke, Daniel Kroening, Flavio Lerda