Search Sciweavers | Sciweavers

1494 search results - page 50 / 299

» Bottom-Up Shape Analysis

click to vote

CAV
2006
Springer

101views Hardware» more CAV 2006»

Abstraction for Shape Analysis with Fast and Precise Transformers

15 years 1 months ago

Download www.cs.tau.ac.il

Tal Lev-Ami, Neil Immerman, Shmuel Sagiv

claim paper

Read More »

click to vote

EVOW
2000
Springer

112views Artificial Intelligence» more EVOW 2000»

Combining Evolutionary, Connectionist, and Fuzzy Classification Algorithms for Shape Analysis

15 years 1 months ago

Download users.cs.cf.ac.uk

This paper presents an investigation into the classification of a difficult data set containing large intra-class variability but low inter-class variability. Standard classifiers...

Paul L. Rosin, Henry O. Nyongesa

claim paper

Read More »

click to vote

HCI
2007

142views Human Computer Interaction» more HCI 2007»

Shape Analysis of Human Brain with Cognitive Disorders

14 years 11 months ago

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 »

click to vote

DAGSTUHL
2006

98views Software Engineering» more DAGSTUHL 2006»

Shape Analysis of Sets

14 years 11 months ago

Download rw4.cs.uni-saarland.de

Jan Reineke

claim paper

Read More »