4099 search results - page 411 / 820 » A Framework for Interactive Proof |
187
Voted
COLING
1994
15 years 8 months ago
1994
This paper describes the enhancements made, within a unification framework, based on typed feature structures, in order to support linking of lexical entries to their translation ...
191
click to vote
JUCS
2008
15 years 6 months ago
2008
: A precise model of the behavioral dynamics is a necessary precondition for the development of collaborative environments. In this paper we present a specification framework for c...
162
click to vote
JIKM
2002
15 years 6 months ago
2002
This paper proposes the integration of The Competing Values Framework (Quinn 1984; 1988) with Nonaka and Takeuchi's (1995) knowledge creation and conversion model. Conceptual...
180
click to vote
ACL
2012
13 years 9 months ago
2012
This system demonstration paper presents IRIS (Informal Response Interactive System), a chat-oriented dialogue system based on the vector space model framework. The system belongs...
155
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
We introduce the interaction library Squidy, which eases the design of natural user interfaces by unifying relevant frameworks and toolkits in a common library. Squidy provides a ...