Sciweavers

3818 search results - page 138 / 764
» Word Problems on Compressed Words
Sort
View
127
Voted
ORL
2008
87views more  ORL 2008»
15 years 3 months ago
On-line scheduling with non-crossing constraints
We consider the problem of on-line scheduling with non-crossing constraints. The objective is to minimize the latest completion time. We provide optimal competitive ratio heuristi...
Lele Zhang, Kwanniti Khammuang, Andrew Wirth
LREC
2010
156views Education» more  LREC 2010»
15 years 6 months ago
Dictionary and Monolingual Corpus-based Query Translation for Basque-English CLIR
This paper deals with the main problems that arise in the query translation process in dictionary-based Cross-lingual Information Retrieval (CLIR): translation selection, presence...
Xabier Saralegi, Maddalen Lopez de Lacalle
CONCUR
2006
Springer
15 years 8 months ago
Controller Synthesis for MTL Specifications
Abstract. We consider the control problem for timed automata against specifications given as MTL formulas. The logic MTL is a linear-time timed temporal logic which extends LTL wit...
Patricia Bouyer, Laura Bozzelli, Fabrice Chevalier
IWSEC
2007
Springer
15 years 11 months ago
How to Find Many Collisions of 3-Pass HAVAL
The hash function HAVAL is an Australian extension of well known Merkle-Damg˚ard hash functions such as MD4 and MD5. It has three variants, 3-, 4- and 5-pass HAVAL. On 3-pass HAVA...
Kazuhiro Suzuki, Kaoru Kurosawa
166
Voted
ICALP
2005
Springer
15 years 10 months ago
Weighted Automata and Weighted Logics
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
Manfred Droste, Paul Gastin