8031 search results - page 1313 / 1607 » The InfoPad User Interface |
107
Voted
CORR
2006
Springer
15 years 3 months ago
2006
Springer
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...
108
Voted
ITIIS
2008
15 years 3 months ago
2008
Traditional web-based services that require users to browse via documents and fill out forms, are difficult to use with mobile devices. Moreover, as the web paradigm assumes activ...
141
Voted
KI
2008
Springer
15 years 3 months ago
2008
Springer
This paper presents a JSON based rule language and its JavaScript-based rule engine towards providing Web 2.0 applications with rule-based inference capabilities. For interoperabil...
130
click to vote
ENTCS
2007
15 years 3 months ago
2007
Most of the state-of-the-art proof assistants are based on procedural proof languages, scripts, and rely on LCF tacticals as the primary tool for tactics composition. In this pape...
189
Voted
MMS
2006
15 years 3 months ago
2006
: 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...