Sciweavers

31686 search results - page 193 / 6338
» Resource typing in Guru
Sort
View
FLOPS
2010
Springer
16 years 15 days ago
PiSigma: Dependent Types without the Sugar
Thorsten Altenkirch, Nils Anders Danielsson, Andre...
143
Voted
ISDA
2009
IEEE
16 years 9 days ago
Introducing Type-2 Fuzzy Sets for Image Texture Modelling
Jesús Chamorro-Martínez, Pedro Mart&...
FROCOS
2009
Springer
16 years 7 days ago
Argument Filterings and Usable Rules for Simply Typed Dependency Pairs
d abstract) Takahito Aoto† Toshiyuki Yamada‡
Takahito Aoto, Toshiyuki Yamada
CSSE
2008
IEEE
16 years 4 days ago
Diagonal-Flip Distance Algorithms of Three Type Triangulations
Deqiang Wang, Xian Wang, Shaoxi Li, Shaofang Zhang
ISCC
2008
IEEE
179views Communications» more  ISCC 2008»
16 years 2 days ago
A new approach to content-based file type detection
Mehdi Chehel Amirani, Mohsen Toorani, Ali Asghar B...