Sciweavers

4432 search results - page 597 / 887
» Solving Demodulation as an Optimization Problem
Sort
View
AUTOMATICA
2004
113views more  AUTOMATICA 2004»
15 years 3 months ago
Ellipsoidal bounds for uncertain linear equations and dynamical systems
In this paper, we discuss semidefinite relaxation techniques for computing minimal size ellipsoids that bound the solution set of a system of uncertain linear equations. The propo...
Giuseppe Carlo Calafiore, Laurent El Ghaoui
DCG
1998
80views more  DCG 1998»
15 years 2 months ago
Fitting a Set of Points by a Circle
Given a set of points S = fp1; : : : ; png in Euclidean d-dimensional space, we address the problem of computing the d-dimensional annulus of smallest width containing the set. We...
Jesus Garcia-Lopez, Pedro A. Ramos, Jack Snoeyink
AUTOMATICA
2008
107views more  AUTOMATICA 2008»
15 years 1 months ago
Incorporating oligopoly, CO2 emissions trading and green certificates into a power generation expansion model
This paper presents a generation expansion model for the power sector which incorporates several features that make it very interesting for its application to current electricity m...
Pedro Linares, Francisco Javier Santos, Mariano Ve...
ASPDAC
2010
ACM
143views Hardware» more  ASPDAC 2010»
15 years 1 months ago
Constrained global scheduling of streaming applications on MPSoCs
Abstract-- We present a global scheduling framework for synchronous data flow (SDF) streaming applications on MPSoCs, based on optimized computation and contention-free routing. Th...
Jun Zhu, Ingo Sander, Axel Jantsch
LPAR
2010
Springer
15 years 1 months ago
SAT Encoding of Unification in EL
Unification in Description Logics has been proposed as a novel inference service that can, for example, be used to detect redundancies in ontologies. In a recent paper, we have sho...
Franz Baader, Barbara Morawska