Sciweavers

208 search results - page 27 / 42
» An alternate approach to adaptive beamforming using SRP-PHAT
Sort
View
CAISE
2009
Springer
14 years 2 months ago
A Goal Modeling Framework for Self-contextualizable Software
Self-contextualizability refers to the system ability to autonomously adapt its behaviour to context in order to maintain its objectives satisfied. In this paper, we propose a mod...
Raian Ali, Fabiano Dalpiaz, Paolo Giorgini
CEC
2008
IEEE
14 years 2 months ago
Automatic model type selection with heterogeneous evolution: An application to RF circuit block modeling
— Many complex, real world phenomena are difficult to study directly using controlled experiments. Instead, the use of computer simulations has become commonplace as a cost effe...
Dirk Gorissen, Luciano De Tommasi, Jeroen Croon, T...
CADE
2007
Springer
14 years 8 months ago
Solving Quantified Verification Conditions Using Satisfiability Modulo Theories
Abstract. First order logic provides a convenient formalism for describing a wide variety of verification conditions. Two main approaches to checking such conditions are pure first...
Yeting Ge, Clark Barrett, Cesare Tinelli
ICASSP
2011
IEEE
12 years 11 months ago
Region-adaptive probability model selection for the arithmetic coding of video texture
In video coding systems using adaptive arithmetic coding to compress texture information, the employed symbol probability models need to be retrained every time the coding process...
Kenneth Vermeirsch, Joeri Barbarien, Peter Lambert...
DSOM
2003
Springer
14 years 1 months ago
An Epidemic Protocol for Managing Routing Tables in Very Large Peer-to-Peer Networks
Building self-maintained overlay networks for message routing has recently attracted significant research interest [5–9]. All suggested solutions have a common goal: To build an...
Spyros Voulgaris, Maarten van Steen