1490 search results - page 162 / 298 » Interactive semantics |
LOGCOM
2010
14 years 8 months ago
2010
Bi-intuitionistic logic is the union of intuitionistic and dual intuitionistic logic, and was introduced by Rauszer as a Hilbert calculus with algebraic and Kripke semantics. But ...
AIED
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this paper we examine whether the student-to-tutor convergence of lexical and speech features is a useful predictor of learning in a corpus of spoken tutorial dialogs....
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
Previous research has taught us that the typical nonprofessional information seeker on the World Wide Web submits very short queries resulting in low-precision results. We show th...
106
Voted
AGP
1996
IEEE
15 years 2 months ago
1996
IEEE
Compositional semantics allow to reason about programs in an incremental way, thus providing the formal base for the development of modular data-flow analyses. The major drawback ...
IJDMB
2011
14 years 1 months ago
2011
: Recently, many approaches to model regulatory networks have been proposed in the systems biology domain, however the task is far from being solved. In this paper we propose an an...