Sciweavers

278 search results - page 34 / 56
» toms 2008
Sort
View
AVI
2008
13 years 10 months ago
Visualizing antenna design spaces
This paper describes a long-term project exploring advanced visual interfaces for antenna design. MERL developed three successive prototypes that embodied an evolution towards lar...
Kent Wittenburg, Tom Lanning, Darren Leigh, Kathy ...
FOSSACS
2008
Springer
13 years 9 months ago
What Else Is Decidable about Integer Arrays?
We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the first-order fragment and allows (1) Presburger constraints on existentially...
Peter Habermehl, Radu Iosif, Tomás Vojnar
PIMRC
2008
IEEE
14 years 1 months ago
Distributed network utility optimization in wireless sensor networks using power control
—We extend the existing network utility maximization (NUM) framework for wired networks to wireless sensor networks by formulating it in order to take into account interference a...
George Tichogiorgos, Kin K. Leung, Archan Misra, T...
CDC
2008
IEEE
14 years 2 months ago
Suppressing intersample behavior in Iterative Learning Control
— Iterative Learning Control (ILC) is a control strategy to improve the performance of digital batch repetitive processes. Due to its digital implementation, discrete time ILC ap...
Tom Oomen, Jeroen van de Wijdeven, Okko Bosgra
ICPR
2008
IEEE
14 years 2 months ago
Combining shape-from-shading and stereo using Gaussian-Markov random fields
In this paper we present a method of combining stereo and shape-from-shading information, taking account of the local reliability of each shape estimate. Local estimates of dispar...
Tom S. F. Haines, Richard C. Wilson