10568 search results - page 695 / 2114 » Computer Intelligence and Formalization |
207
click to vote
TCS
2010
15 years 5 months ago
2010
Robustness, the ability to analyze any input regardless of its grammaticality, is a desirable property for any system dealing with unrestricted natural language text. Error-repair...
239
click to vote
IFIPTCS
2010
15 years 5 months ago
2010
Abstract. We propose a framework for reasoning about program security building on language-theoretic and coalgebraic concepts. The behaviour of a system is viewed as a mapping from...
193
click to vote
ACL
2009
15 years 5 months ago
2009
We address the issue of using heterogeneous treebanks for parsing by breaking it down into two sub-problems, converting grammar formalisms of the treebanks to the same one, and pa...
229
click to vote
HCI
2009
15 years 5 months ago
2009
Game developers have begun applying formal human-computer interaction (HCI) principles in design. Desurvire et al [2] adapted a set of Heuristics for productivity software to games...
194
click to vote
WWW
2009
ACM
16 years 8 months ago
2009
ACM
This paper formulates a collaborative system for modeling business application. The system uses a Semantic Wiki to enable collaboration between the various stakeholders involved i...