4074 search results - page 709 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
ATAL
2010
Springer
14 years 11 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
106
click to vote
ICML
2010
IEEE
14 years 11 months ago
2010
IEEE
Inference in graphical models has emerged as a promising technique for planning. A recent approach to decision-theoretic planning in relational domains uses forward inference in d...
JMLR
2008
14 years 9 months ago
2008
The statistical perspective on boosting algorithms focuses on optimization, drawing parallels with maximum likelihood estimation for logistic regression. In this paper we present ...
AMC
2005
14 years 9 months ago
2005
In most public companies in China, there are two thirds of shares that cannot be traded freely in the secondary market. These illiquid shares, however, may be allowed to circulate...
TSP
2008
14 years 9 months ago
2008
We develop a nonlinear minimax estimator for the classical linear regression model assuming that the true parameter vector lies in an intersection of ellipsoids. We seek an estimat...