Sciweavers

953 search results - page 57 / 191
» Constraint Based Transformation Theory
Sort
View
120
Voted
MOBICOM
2012
ACM
13 years 3 months ago
Faster GPS via the sparse fourier transform
GPS is one of the most widely used wireless systems. A GPS receiver has to lock on the satellite signals to calculate its position. The process of locking on the satellites is qui...
Haitham Hassanieh, Fadel Adib, Dina Katabi, Piotr ...
90
Voted
ICASSP
2008
IEEE
15 years 7 months ago
Time-frequency localization from sparsity constraints
In the case of multicomponent AM-FM signals, the idealized representation which consists of weighted trajectories on the time-frequency (TF) plane, is intrinsically sparse. Recent...
Pierre Borgnat, Patrick Flandrin
100
Voted
CSL
1998
Springer
15 years 5 months ago
Revision Programming = Logic Programming + Integrity Constraints
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczyns...
ECEASST
2008
67views more  ECEASST 2008»
15 years 27 days ago
Sharing OCL Constraints by Using Web Rules
This paper presents an MDE-based approach to interchanging rules between the Object Constraint Language (OCL) and REWERSE I1 Rule Markup Language (R2ML). The R2ML tends to be a sta...
Milan Milanovic, Dragan Gasevic, Adrian Giurca, Ge...
111
Voted
CORR
2010
Springer
93views Education» more  CORR 2010»
15 years 28 days ago
Parallelized Solution to Semidefinite Programmings in Quantum Complexity Theory
In this paper we present an equilibrium value based framework for solving SDPs via the multiplicative weight update method which is different from the one in Kale's thesis [K...
Xiaodi Wu