Sciweavers

11 search results - page 1 / 3

» lics 1998

27

LICS
1998
IEEE

68views Automated Reasoning» more LICS 1998»

Recursive Types in Games: Axiomatics and Process Representation

14 years 3 months ago

Recursive Types in Games: Axiomatics and Process Representation

Download www.eecs.qmul.ac.uk

Marcelo P. Fiore, Kohei Honda

claim paper

Read More »

30

LICS
1998
IEEE

111views Automated Reasoning» more LICS 1998»

The First-Order Theory of Ordering Constraints over Feature Trees

14 years 3 months ago

The First-Order Theory of Ordering Constraints over Feature Trees

Download www.coli.uni-saarland.de

Martin Müller, Joachim Niehren, Ralf Treinen

claim paper

Read More »

43

LICS
1998
IEEE

95views Automated Reasoning» more LICS 1998»

A Theory of Recursive Domains with Applications to Concurrency

14 years 3 months ago

A Theory of Recursive Domains with Applications to Concurrency

Download www.brics.dk

Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel

claim paper

Read More »

36

VISUALIZATION
1998
IEEE

181views Visualization» more VISUALIZATION 1998»

Comparing LIC and spot noise

14 years 3 months ago

Comparing LIC and spot noise

Download homepages.cwi.nl

Spot noise and line integral convolution (LIC) are two texture synthesis techniques for vector field visualization. In this paper the two techniques are compared. Continuous direc...

Wim C. de Leeuw, Robert van Liere

claim paper

Read More »

32

LICS
1998
IEEE

102views Automated Reasoning» more LICS 1998»

The Horn Mu-calculus

14 years 3 months ago

The Horn Mu-calculus

Download www.labri.fr

The Horn

Witold Charatonik, David A. McAllester, Damian Niw...

claim paper

Read More »

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