Sciweavers

835 search results - page 90 / 167
» Characterizing rosy theories
Sort
View
JUCS
2008
151views more  JUCS 2008»
13 years 11 months ago
The Bit-Complexity of Finding Nearly Optimal Quadrature Rules for Weighted Integration
: Given a probability measure and a positive integer n. How to choose n knots and n weights such that the corresponding quadrature rule has the minimum worst-case error when appli...
Volker Bosserhoff
ENTCS
2007
116views more  ENTCS 2007»
13 years 11 months ago
A Logical Characterisation of Static Equivalence
The work of Abadi and Fournet introduces the notion of a frame to describe the knowledge of the environment of a cryptographic protocol. Frames are lists of terms; two frames are ...
Hans Hüttel, Michael D. Pedersen
JSAC
2006
107views more  JSAC 2006»
13 years 11 months ago
Distributed interference compensation for wireless networks
We consider a distributed power control scheme for wireless ad hoc networks, in which each user announces a price that reflects compensation paid by other users for their interfere...
Jianwei Huang, Randall A. Berry, Michael L. Honig
EOR
2007
113views more  EOR 2007»
13 years 11 months ago
Duality for location problems with unbounded unit balls
Abstract. Given an optimization problem with a composite of a convex and componentwise increasing function with a convex vector function as objective function, by means of the conj...
Gert Wanka, Radu Ioan Bot, Emese Vargyas
FSS
2007
85views more  FSS 2007»
13 years 11 months ago
Using quasi-continuous histograms for fuzzy main motion estimation in video sequence
This paper presents a new fuzzy framework for main motion estimation in video sequences. The estimation is performed using a fuzzy representation of pixel gray levels. The motion ...
Frederic Comby, Olivier Strauss