Sciweavers

11182 search results - page 99 / 2237

» Shape Analysis of Sets

133

TLCA
1997
Springer

101views Theoretical Computer Science» more TLCA 1997»

Typed Intermediate Languages for Shape Analysis

15 years 10 months ago

Typed Intermediate Languages for Shape Analysis

Download www.disi.unige.it

Gianna Bellè, Eugenio Moggi

claim paper

Read More »

98

3DPVT
2004
IEEE

127views Visualization» more 3DPVT 2004»

Applying Mesh Conformation on Shape Analysis with Missing Data

15 years 10 months ago

Applying Mesh Conformation on Shape Analysis with Missing Data

Download www.dcs.gla.ac.uk

Xiangyang Ju, Zhili Mao, J. Paul Siebert, Nigel J....

claim paper

Read More »

141

CAV
2006
Springer

101views Hardware» more CAV 2006»

Abstraction for Shape Analysis with Fast and Precise Transformers

15 years 10 months ago

Abstraction for Shape Analysis with Fast and Precise Transformers

Download www.cs.tau.ac.il

Tal Lev-Ami, Neil Immerman, Shmuel Sagiv

claim paper

Read More »

137

HCI
2007

142views Human Computer Interaction» more HCI 2007»

Shape Analysis of Human Brain with Cognitive Disorders

15 years 7 months ago

Shape Analysis of Human Brain with Cognitive Disorders

Download www.nlpr.ia.ac.cn

In this paper, we present some of our current studies on how human brain structures are influenced by cognitive disorders occurred from various neurological and psychiatric disease...

Tianzi Jiang, Feng Shi, Wanlin Zhu, Shuyu Li, Xiao...

claim paper

Read More »

136

DAGSTUHL
2006

120views Software Engineering» more DAGSTUHL 2006»

Explaining Data Type Reduction in the Shape Analysis Framework

15 years 7 months ago

Explaining Data Type Reduction in the Shape Analysis Framework

Download drops.dagstuhl.de

Björn Wachter

claim paper

Read More »

« Prev « First page 99 / 2237 Last » Next »