Sciweavers

20 search results - page 2 / 4

» lics 1997

10

LICS
1997
IEEE

110views Automated Reasoning» more LICS 1997»

A Kleene Theorem for Timed Automata

13 years 9 months ago

A Kleene Theorem for Timed Automata

Download www-verimag.imag.fr

Eugene Asarin, Paul Caspi, Oded Maler

claim paper

Read More »

9

LICS
1997
IEEE

119views Automated Reasoning» more LICS 1997»

First-Order Logic with Two Variables and Unary Temporal Logic

13 years 9 months ago

First-Order Logic with Two Variables and Unary Temporal Logic

Download www.brics.dk

Kousha Etessami, Moshe Y. Vardi, Thomas Wilke

claim paper

Read More »

11

LICS
1997
IEEE

111views Automated Reasoning» more LICS 1997»

Bisimulation for Labelled Markov Processes

13 years 9 months ago

Bisimulation for Labelled Markov Processes

Download www.brics.dk

Richard Blute, Josee Desharnais, Abbas Edalat, Pra...

claim paper

Read More »

7

LICS
1997
IEEE

84views Automated Reasoning» more LICS 1997»

Complete Cuboidal Sets in Axiomatic Domain Theory

13 years 9 months ago

Complete Cuboidal Sets in Axiomatic Domain Theory

Download homepages.inf.ed.ac.uk

Marcelo P. Fiore, Gordon D. Plotkin, A. John Power

claim paper

Read More »

10

VISUALIZATION
1997
IEEE

99views Visualization» more VISUALIZATION 1997»

Strategies for effectively visualizing 3D flow with volume LIC

13 years 9 months ago

Strategies for effectively visualizing 3D flow with volume LIC

Download www-users.cs.umn.edu

This paper discusses strategies for effectively portraying 3D flow using volume line integral convolution. Issues include defining an appropriate input texture, clarifying the dis...

Victoria Interrante, Chester Grosch

claim paper

Read More »

« Prev « First page 2 / 4 Last » Next »