Search Sciweavers | Sciweavers

31686 search results - page 193 / 6338

» Resource typing in Guru

click to vote

FLOPS
2010
Springer

310views Automated Reasoning» more FLOPS 2010»

PiSigma: Dependent Types without the Sugar

14 years 4 months ago

Download www.cs.nott.ac.uk

Thorsten Altenkirch, Nils Anders Danielsson, Andre...

claim paper

Read More »

click to vote

ISDA
2009
IEEE

129views Operating System» more ISDA 2009»

Introducing Type-2 Fuzzy Sets for Image Texture Modelling

14 years 3 months ago

Download decsai.ugr.es

Jesús Chamorro-Martínez, Pedro Mart&...

claim paper

Read More »

click to vote

FROCOS
2009
Springer

134views Control Systems» more FROCOS 2009»

Argument Filterings and Usable Rules for Simply Typed Dependency Pairs

14 years 3 months ago

Download www.nue.riec.tohoku.ac.jp

d abstract) Takahito Aoto† Toshiyuki Yamada‡

Takahito Aoto, Toshiyuki Yamada

claim paper

Read More »

click to vote

CSSE
2008
IEEE

167views Software Engineering» more CSSE 2008»

Diagonal-Flip Distance Algorithms of Three Type Triangulations

14 years 3 months ago

Download www.u-bourgogne.fr

Deqiang Wang, Xian Wang, Shaoxi Li, Shaofang Zhang

claim paper

Read More »

click to vote

ISCC
2008
IEEE

179views Communications» more ISCC 2008»

A new approach to content-based file type detection

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers