Sciweavers

279 search results - page 17 / 56
» 20 Years of ECM
Sort
View
FOSSACS
2006
Springer
13 years 11 months ago
On Metric Temporal Logic and Faulty Turing Machines
Metric Temporal Logic (MTL) is a real-time extension of Linear Temporal Logic that was proposed fifteen years ago and has since been extensively studied. Since the early 1990s, it ...
Joël Ouaknine, James Worrell
ACMSE
2008
ACM
13 years 9 months ago
A new watermarking approach for relational data
The importance of digital watermarking for digital assets such as relational databases to preserve their copyrights is becoming more and more important as time goes by. In the pas...
Vahab Pournaghshband
LREC
2008
101views Education» more  LREC 2008»
13 years 8 months ago
The INFILE Project: a Crosslingual Filtering Systems Evaluation Campaign
The InFile project (INformation, FILtering, Evaluation) is a cross-language adaptive filtering evaluation campaign, sponsored by the French National Research Agency. The campaign ...
Romaric Besançon, Stéphane Chaudiron...
AVI
2004
13 years 8 months ago
Designing interaction, not interfaces
Although the power of personal computers has increased 1000-fold over the past 20 years, user interfaces remain essentially the same. Innovations in HCI research, particularly nov...
Michel Beaudouin-Lafon
CSREAESA
2004
13 years 8 months ago
Language Selection for Mobile Systems: Java, C, or Both?
For many years, C has been known as a fast, yet unfriendly language. Similarly, Java presents its own trade-offs, including more advanced language features at the cost of slower ex...
Keith S. Vallerio, Niraj K. Jha