Search Sciweavers | Sciweavers

29 search results - page 2 / 6

» lics 2002

click to vote

LICS
2002
IEEE

88views Automated Reasoning» more LICS 2002»

Semantic Subtyping

15 years 9 months ago

Download www.cduce.org

Alain Frisch, Giuseppe Castagna, Véronique ...

claim paper

Read More »

click to vote

LICS
2002
IEEE

94views Automated Reasoning» more LICS 2002»

Separability, Expressiveness, and Decidability in the Ambient Logic

15 years 9 months ago

Download www-lipn.univ-paris13.fr

Daniel Hirschkoff, Étienne Lozes, Davide Sa...

claim paper

Read More »

100

click to vote

LICS
2002
IEEE

108views Automated Reasoning» more LICS 2002»

Description Logics: Foundations for Class-based Knowledge Representation

15 years 9 months ago

Download www.inf.unibz.it

Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...

claim paper

Read More »

117

click to vote

VISUALIZATION
2002
IEEE

105views Visualization» more VISUALIZATION 2002»

Case Study: Hardware-Accelerated Selective LIC Volume Rendering

15 years 9 months ago

Download www.evl.uic.edu

Gordon Erlebacher, David A. Yuen, Fabien Dubuffet

claim paper

Read More »

Voted

ICCAD
2002
IEEE

100views Hardware» more ICCAD 2002»

On theoretical and practical considerations of path selection for delay fault testing

16 years 29 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers