3353 search results - page 545 / 671 » Laver and set theory |
ACL
2004
14 years 11 months ago
2004
The purpose of this paper is to re-examine the balance between clarity and efficiency in HPSG design, with particular reference to the design decisions made in the English Resourc...
AIML
2006
14 years 11 months ago
2006
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...
APCCM
2006
14 years 11 months ago
2006
Current enterprise systems rely heavily on the modelling and enactment of business processes. One of the key criteria for a business process is to represent not just the behaviour...
DMIN
2006
14 years 11 months ago
2006
The stochastic discrimination (SD) theory considers learning as building models of uniform coverage over data distributions. Despite successful trials of the derived SD method in s...
IADIS
2004
14 years 11 months ago
2004
Computer-mediated communication (CMC) is fundamentally different to face-to-face (FTF) communication. The low bandwidth of CMC filters out important social and contextual cues, wh...