Sciweavers

6120 search results - page 70 / 1224
» The Power of Linear Functions
Sort
View
CAAP
1990
15 years 9 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 10 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
157
Voted
ISSS
1995
IEEE
117views Hardware» more  ISSS 1995»
15 years 9 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 6 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
SIAMJO
2008
139views more  SIAMJO 2008»
15 years 5 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