Sciweavers

3604 search results - page 496 / 721
» All Common Subsequences
Sort
View
CORR
2010
Springer
144views Education» more  CORR 2010»
15 years 6 months ago
Catching the Ouroboros: On Debugging Non-ground Answer-Set Programs
An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, met...
Johannes Oetsch, Jörg Pührer, Hans Tompi...
CORR
2008
Springer
94views Education» more  CORR 2008»
15 years 6 months ago
Joint Beamforming for Multiaccess MIMO Systems with Finite Rate Feedback
Abstract--We consider multiaccess multiple-input multipleoutput (MIMO) systems with finite rate feedback with the aim of understanding how to efficiently employ the given feedback ...
Wei Dai, Brian Rider, Youjian Liu
CSDA
2008
115views more  CSDA 2008»
15 years 6 months ago
Complex-valued ICA based on a pair of generalized covariance matrices
It is shown that any pair of scatter and spatial scatter matrices yields an estimator of the separating matrix for complex-valued independent component analysis (ICA). Scatter (re...
Esa Ollila, Hannu Oja, Visa Koivunen
AEI
2006
122views more  AEI 2006»
15 years 6 months ago
Construction informatics: Definition and ontology
This paper proposes a definition, scope and topics of construction informatics--a discipline also known as `construction IT' or `communication and information technologies in...
Ziga Turk
ENTCS
2008
75views more  ENTCS 2008»
15 years 6 months ago
On the Refinement of Atomic Actions
Inspired by the properties of the refinement development of the Mondex Electronic Purse, we view an atomic action as a family of transitions with a common before-state, and differ...
Richard Banach, Gerhard Schellhorn