Search Sciweavers | Sciweavers

316 search results - page 1 / 64

» paste 2004

click to vote

ACTA
2004

97views more ACTA 2004»

Past is for free: on the complexity of verifying linear temporal properties with past

13 years 5 months ago

Download www.lsv.ens-cachan.fr

We study the complexity of satisfiability and model-checking of the linear-time temporal logic with past (pltl). More precisely, we consider several fragments of pltl, depending o...

Nicolas Markey

claim paper

Read More »

click to vote

CARS
2001

119views Medical Imaging» more CARS 2001»

Cardiovascular image analysis: past, present and future

13 years 7 months ago

Download www.etd.library.tcu.edu.tw

Milan Sonka

claim paper

Read More »

click to vote

PASTE
2004
ACM

82views Software Engineering» more PASTE 2004»

Importance of heap specialization in pointer analysis

13 years 11 months ago

Download impact.crhc.illinois.edu

Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu

claim paper

Read More »

click to vote

AIML
2004

81views Logical Reasoning» more AIML 2004»

Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States

13 years 7 months ago

Download www.cse.unsw.edu.au

Tim French, Ron van der Meyden, Mark Reynolds

claim paper

Read More »

click to vote

FC
2004
Springer

81views Cryptology» more FC 2004»

Cryptography and the French Banking Cards: Past, Present, Future

13 years 11 months ago

Download www.di.ens.fr

Abstract. This is a brief summary of the invited lecture delivered during the conference. The interested reader is referred to [2] for more information.

Jacques Stern

claim paper

Read More »

« Prev « First page 1 / 64 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers