Sciweavers

2659 search results - page 94 / 532
» Do we mean the same
Sort
View
LICS
2005
IEEE
15 years 10 months ago
Temporal Logics over Unranked Trees
We consider unranked trees, that have become an active subject of study recently due to XML applications, and characterize commonly used fragments of firstorder (FO) and monadic ...
Pablo Barceló, Leonid Libkin
LREC
2010
156views Education» more  LREC 2010»
15 years 2 months ago
A Description of Morphological Features of Serbian: a Revision using Feature System Declaration
In this paper we discuss some well-known morphological descriptions used in various projects and applications (most notably MULTEXT-East and Unitex) and illustrate the encountered...
Cvetana Krstev, Ranka Stankovic, Dusko Vitas
ICC
2007
IEEE
102views Communications» more  ICC 2007»
15 years 10 months ago
Iterative MMSE Transmit and Receive Filter Design for Frequency Selective MU-MISO Systems
— We consider a multi-user multiple-input single-output (MU-MISO) scenario, where the decentralized users are served by a centralized transmitter with multiple channel inputs via...
Ralf Bendlin, Michael Joham, Josef A. Nossek, Yih-...
ENTCS
2007
118views more  ENTCS 2007»
15 years 4 months ago
Safe Adaptation of Component Coordination
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
Christophe Sibertin-Blanc, Philippe Mauran, G&eacu...
JSAC
2007
102views more  JSAC 2007»
15 years 4 months ago
Partially-coherent distributed space-time codes with differential encoder and decoder
Abstract— Distributed space-time coding is a means of achieving diversity through cooperative communication in a wireless relay network. In this paper, we consider a transmission...
T. Kiran, B. Sundar Rajan