Sciweavers

2645 search results - page 3 / 529

» time 2003

23

TIME
2003
IEEE

81views Automated Reasoning» more TIME 2003»

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning

14 years 22 days ago

Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning

Download www.csc.liv.ac.uk

Clare Dixon, Cláudia Nalon, Michael Fisher

claim paper

Read More »

19

DATE
2003
IEEE

93views Hardware» more DATE 2003»

Timing Verification with Crosstalk for Transparently Latched Circuits

14 years 22 days ago

Timing Verification with Crosstalk for Transparently Latched Circuits

Download www.date-conference.com

Hai Zhou

claim paper

Read More »

20

CRYPTO
2003
Springer

104views Cryptology» more CRYPTO 2003»

Making a Faster Cryptanalytic Time-Memory Trade-Off

14 years 20 days ago

Making a Faster Cryptanalytic Time-Memory Trade-Off

Download lasecwww.epfl.ch

Philippe Oechslin

claim paper

Read More »

15

EMO
2003
Springer

101views Optimization» more EMO 2003»

Convergence Time Analysis for the Multi-objective Counting Ones Problem

14 years 20 days ago

Convergence Time Analysis for the Multi-objective Counting Ones Problem

Download www.cs.uu.nl

Dirk Thierens

claim paper

Read More »

19

STOC
2003
ACM

135views Algorithms» more STOC 2003»

Linear time encodable and list decodable codes

14 years 7 months ago

Linear time encodable and list decodable codes

Download www.cs.washington.edu

Venkatesan Guruswami, Piotr Indyk

claim paper

Read More »

« Prev « First page 3 / 529 Last » Next »