9405 search results - page 277 / 1881 » Computing a Model of Set Theory |
108
Voted
EACL
1989
ACL Anthology
15 years 5 months ago
1989
ACL Anthology
In this paper, we present a logic-based computational model for movement theory in Government and Binding Theory. For that purpose, we have designed a language called DISLOG. DISL...
154
Voted
EDM
2009
15 years 2 months ago
2009
This paper presents a model which can automatically detect a variety of student speech acts as students collaborate within a computer supported collaborative learning environment. ...
211
click to vote
KR
2004
Springer
15 years 10 months ago
2004
Springer
We discuss the representation of knowledge and of belief from the viewpoint of decision theory. While the Bayesian approach enjoys general-purpose applicability and axiomatic foun...
131
click to vote
SIGECOM
2006
ACM
15 years 10 months ago
2006
ACM
Braess’s Paradox is the counterintuitive but well-known fact that removing edges from a network with “selfish routing” can decrease the latency incurred by traffic in an eq...
146
click to vote
TSE
1998
15 years 4 months ago
1998
—In this paper, we propose an integrated methodology for specifying AIN and switch-based features and analyzing their interactions in the AIN 0.1 framework. The specification of ...