5964 search results - page 360 / 1193 » A theory of speculative computation |
197
click to vote
IJCNN
2000
IEEE
15 years 12 months ago
2000
IEEE
The main purpose of this paper is to compare the support vector machine (SVM) developed by Vapnik with other techniques such as Backpropagation and Radial Basis Function (RBF) Net...
212
click to vote
GECCO
2010
Springer
15 years 11 months ago
2010
Springer
We analyze various forms of the Frequency Assignment Problem using the theory of elementary landscapes. We show that three variants of the Frequency Assignment Problem are either ...
193
Voted
SIGLEX
1991
15 years 11 months ago
1991
A computationally relevant theory of lexical semantics must take into consideration both the form and the content of three different static knowledge sources -- the lexicon, the o...
178
click to vote
DLOG
2006
15 years 9 months ago
2006
We recently proposed action formalisms based on description logics (DLs) as decidable fragments of well-established action theories such as the Situation Calculus and the Fluent C...
199
Voted
LOGCOM
2006
15 years 7 months ago
2006
Seeing To It That (STIT) logic is a logic of agency, proposed in the 1990s in the domain of philosophy of action. It is the logic of constructions of the form `agent a sees to it ...