Sciweavers

3238 search results - page 389 / 648
» On the Computational Interpretation of Negation
Sort
View
JSAC
2006
121views more  JSAC 2006»
15 years 6 months ago
Code-aided ML joint synchronization and channel estimation for downlink MC-CDMA
Abstract--In this paper, we present a novel code-aided joint synchronization and channel estimation algorithm for downlink multicarrier code-division multiple access. The expectati...
Mamoun Guenach, Henk Wymeersch, Heidi Steendam, Ma...
RAS
2006
110views more  RAS 2006»
15 years 6 months ago
A methodology for provably stable behaviour-based intelligent control
This paper presents a design methodology for a class of behaviour-based control systems, arguing its potential for application to safety critical systems. We propose a formal basi...
Christopher J. Harper, Alan F. T. Winfield
JAIR
2007
121views more  JAIR 2007»
15 years 6 months ago
On the Semantics of Logic Programs with Preferences
This work is a contribution to prioritized reasoning in logic programming in the presence of preference relations involving atoms. The technique, providing a new interpretation fo...
Sergio Greco, Irina Trubitsyna, Ester Zumpano
JOLLI
2007
88views more  JOLLI 2007»
15 years 6 months ago
Toward discourse representation via pregroup grammars
Every pregroup grammar is shown to be strongly equivalent to one which uses basic types and left and right adjoints of basic types only. Therefore a semantical interpretation is i...
Anne Preller
COLING
2002
15 years 6 months ago
Topic Detection Based on Dialogue History
In this paper, we propose a topic detection method using a dialogue history for selecting a scene in the automatic interpretation system (Ikeda et al., 2002). The method uses a k-...
Takayuki Nakata, Shinichi Ando, Akitoshi Okumura