Sciweavers

6120 search results - page 70 / 1224
» The Power of Linear Functions
Sort
View
CAAP
1990
15 years 3 months ago
Petri Nets as Models of Linear Logic
The chief purpose of this paper is to appraise the feasibility of Girard’s linear logic as a specification language for parallel processes. To this end we propose an interpreta...
Uffe Engberg, Glynn Winskel
MCS
2009
Springer
15 years 4 months ago
Regularized Linear Models in Stacked Generalization
Abstract. Stacked generalization is a flexible method for multiple classifier combination; however, it tends to overfit unless the combiner function is sufficiently smooth. Prev...
Samuel Robert Reid, Gregory Z. Grudic
ISSS
1995
IEEE
117views Hardware» more  ISSS 1995»
15 years 3 months ago
Scheduling and resource binding for low power
Decisions taken at the earliest steps of the design process may have a significantimpact on the characteristics of the final implementation. This paper illustrates how power con...
Enric Musoll, Jordi Cortadella
AAAI
2006
15 years 1 months ago
Functional Value Iteration for Decision-Theoretic Planning with General Utility Functions
We study how to find plans that maximize the expected total utility for a given MDP, a planning objective that is important for decision making in high-stakes domains. The optimal...
Yaxin Liu, Sven Koenig
109
Voted
SIAMJO
2008
139views more  SIAMJO 2008»
14 years 11 months ago
An Augmented Primal-Dual Method for Linear Conic Programs
We propose a new iterative approach for solving linear programs over convex cones. Assuming that Slaters condition is satisfied, the conic problem is transformed to the minimizatio...
Florian Jarre, Franz Rendl