Sciweavers

2569 search results - page 123 / 514
» Approximate Objects and Approximate Theories
Sort
View
SIGMOD
2011
ACM
247views Database» more  SIGMOD 2011»
14 years 9 months ago
Collective spatial keyword querying
With the proliferation of geo-positioning and geo-tagging, spatial web objects that possess both a geographical location and a textual description are gaining in prevalence, and s...
Xin Cao, Gao Cong, Christian S. Jensen, Beng Chin ...
ICIP
2000
IEEE
16 years 8 months ago
Orthonormal Finite Ridgelet Transform for Image Compression
A finite implementation of the ridgelet transform is presented. The transform is invertible, non-redundant and achieved via fast algorithms. Furthermore we show that this transfor...
Minh N. Do, Martin Vetterli
FOSSACS
2005
Springer
15 years 12 months ago
Third-Order Idealized Algol with Iteration Is Decidable
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
Andrzej S. Murawski, Igor Walukiewicz
ISCAS
2003
IEEE
107views Hardware» more  ISCAS 2003»
15 years 11 months ago
Synthesis of a pulse-forming reactance network to shape a delayed quasi-rectangular pulse
—The paper describes synthesis of a reactance network shaping a delayed quasi-rectangular pulse when the input step voltage is applied. The derivative of the step response is app...
Igor M. Filanovsky, P. N. Matkhanov
TCS
2008
15 years 6 months ago
Curves and surfaces represented by polynomial support functions
This paper studies shapes (curves and surfaces) which can be described by (piecewise) polynomial support functions. The class of these shapes is closed under convolutions, offsett...
Zbynek Sír, Jens Gravesen, Bert Jüttle...