Sciweavers

835 search results - page 90 / 167
» Characterizing rosy theories
Sort
View
103
Voted
JUCS
2008
151views more  JUCS 2008»
15 years 20 days 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
90
Voted
ENTCS
2007
116views more  ENTCS 2007»
15 years 20 days 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»
15 years 20 days 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
93
Voted
EOR
2007
113views more  EOR 2007»
15 years 20 days 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
84
Voted
FSS
2007
85views more  FSS 2007»
15 years 19 days 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