Sciweavers

3818 search results - page 207 / 764
» Word Problems on Compressed Words
Sort
View
ANLP
1992
137views more  ANLP 1992»
15 years 7 months ago
Compound Nouns in a Unification-Based MT System
This paper describes an approach to the treatment of nominal compounds in a machine translation project employing a modern unification-based system. General problems connected wit...
Pierrette Bouillon, Katharina Boesefeldt, Graham R...
APAL
2010
117views more  APAL 2010»
15 years 6 months ago
The complexity of temporal logic over the reals
It is shown that the decision problem for the temporal logic with until and since connectives over real-numbers time is PSPACE-complete. This is the most practically useful dense ...
M. Reynolds
APJOR
2007
82views more  APJOR 2007»
15 years 6 months ago
On the Construction of Gap Functions for Variational Inequalities via Conjugate duality
: In this paper we deal with the construction of gap functions for variational inequalities by using an approach which bases on the conjugate duality. Under certain assumptions we ...
Lkhamsuren Altangerel, Radu Ioan Bot, Gert Wanka
FSS
2006
138views more  FSS 2006»
15 years 6 months ago
Fuzzy logics as the logics of chains
The paper proposes a formal delimitation of the class of `fuzzy logics' and answers some objections that can be raised against the definition; the focus is put on informal an...
Libor Behounek, Petr Cintula
IJHPCA
2006
75views more  IJHPCA 2006»
15 years 6 months ago
Scheduling Multiple Divisible Loads
In this paper we study the scheduling of multiple divisible loads on a star network of processors. We show that this problem is computationally hard. Special cases solvable in pol...
Maciej Drozdowski, Marcin Lawenda, Fréd&eac...