Sciweavers

12 search results - page 1 / 3
» dlt 2004
Sort
View
DLT
2004
13 years 6 months ago
The Power of Maximal Parallelism in P Systems
Oscar H. Ibarra, Hsu-Chun Yen, Zhe Dang
CLEF
2004
Springer
13 years 10 months ago
Cross-Language French-English Question Answering Using the DLT System at CLEF 2004
Richard F. E. Sutcliffe, Igal Gabbay, Michael Mulc...
DLT
2004
13 years 6 months ago
An NP-Complete Fragment of LTL
A fragment of linear time temporal logic (LTL) is presented. It is proved that the satisfiability problem for this fragment is NPcomplete. The fragment is larger than previously kn...
Anca Muscholl, Igor Walukiewicz
DLT
2004
13 years 6 months ago
Some New Directions and Questions in Parameterized Complexity
Recently there have been some new initiatives in the field of parameterized complexity. In this paper, we will report on some of these, concentrating on some open questions, and al...
Rodney G. Downey, Catherine McCartin