4895 search results - page 757 / 979 » Tools for Grammar Engineering |
168
click to vote
RCIS
2010
15 years 4 months ago
2010
Every interactive system has a functional part and an interactive part. However the software engineering and the human-computer-interaction communities work separately in terms of ...
221
click to vote
EICS
2009
ACM
15 years 4 months ago
2009
ACM
Modularization is almost the only feasible way of implementing large-scale applications. For user interfaces, interactions involving more than one module generate dependencies bet...
171
click to vote
HCI
2009
15 years 4 months ago
2009
Color has a major impact on Human Computer Interaction. Although there is a very thin line between appropriate and inappropriate use of color, if used properly, color can be a powe...
167
click to vote
HIS
2009
15 years 4 months ago
2009
In this quickly developed and shifting era of Internet, how to make use of webpage indexing structure or search engines which let information demanders fast and precisely search a...
183
click to vote
ENTCS
2010
15 years 3 months ago
2010
We present MLSolver, a tool for solving the satisfiability and validity problems for modal fixpoint logics. The underlying technique is based on characterisations of satisfiabilit...