Sciweavers

754 search results - page 3 / 151
» Local Monotonicity Reconstruction
Sort
View
ISMVL
2007
IEEE
119views Hardware» more  ISMVL 2007»
15 years 3 months ago
Automated Reasoning in Some Local Extensions of Ordered Structures
We give a uniform method for automated reasoning in several types of extensions of ordered algebraic structures (definitional extensions, extensions with boundedness axioms or wit...
Viorica Sofronie-Stokkermans, Carsten Ihlemann
SAGT
2009
Springer
177views Game Theory» more  SAGT 2009»
15 years 4 months ago
Characterizing Incentive Compatibility for Convex Valuations
We study implementability in dominant strategies of social choice functions when sets of types are multi-dimensional and convex, sets of outcomes are arbitrary, valuations for outc...
André Berger, Rudolf Müller, Seyed Hos...
TSP
2008
69views more  TSP 2008»
14 years 9 months ago
Stratification Effect Compensation for Improved Underwater Acoustic Ranging
Underwater acoustic localization usually relies on time of arrival (ToA) measurements, which are then converted into range estimates. However, the water medium is inhomogeneous and...
Christian R. Berger, Shengli Zhou, Peter Willett, ...
ADG
2004
Springer
189views Mathematics» more  ADG 2004»
15 years 3 months ago
nD Polyhedral Scene Reconstruction from Single 2D Line Drawing by Local Propagation
In this paper, we study the problem of reconstructing the polyhedral structures and geometric positions of a general nD polyhedral scene from a single 2D line drawing. With the ide...
Hongbo Li