4966 search results - page 661 / 994 » its 2010 |
209
click to vote
LOGCOM
2010
15 years 5 months ago
2010
In this paper, we propose an extension of Answer Set Programming (ASP) to support declarative reasoning on consumption and production of resources. We call the proposed extension ...
223
click to vote
LOGCOM
2010
15 years 5 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 ...
168
click to vote
LRE
2010
15 years 5 months ago
2010
In this paper the transcription and evaluation of the corpus DIMEx100 for Mexican Spanish is presented. First we describe the corpus and explain the linguistic and computational mo...
170
click to vote
MA
2010
Springer
15 years 5 months ago
2010
Springer
We consider two continuous-time Gaussian processes, one being partially correlated to a time-lagged version of the other. We first give the limiting spectral distribution for the ...
164
click to vote
MANSCI
2010
15 years 5 months ago
2010
A key result of the Capital Asset Pricing Model (CAPM) is that the market portfolio— the portfolio of all assets in which each asset’s weight is proportional to its total mark...