Sciweavers

17983 search results - page 89 / 3597
» Set Types and Applications
Sort
View
TFS
2010
130views Education» more  TFS 2010»
14 years 9 months ago
Toward General Type-2 Fuzzy Logic Systems Based on zSlices
Abstract--Higher order fuzzy logic systems (FLSs), such as interval type-2 FLSs, have been shown to be very well suited to deal with the high levels of uncertainties present in the...
Christian Wagner, Hani Hagras
118
Voted
SAS
2009
Springer
172views Formal Methods» more  SAS 2009»
16 years 3 months ago
Type Analysis for JavaScript
JavaScript is the main scripting language for Web browsers, and it is essential to modern Web applications. Programmers have started using it for writing complex applications, but ...
Anders Møller, Peter Thiemann, Simon Holm J...
INTERACT
2003
15 years 3 months ago
Does an Individual's Myers-Briggs Type Indicator Preference Influence Task-Oriented Technology Use?
: Technology innovators face the challenge of finding representative groups of users to participate in design activities. In some cases, software applications will target an audien...
Pamela J. Ludford, Loren G. Terveen
110
Voted
IJCAI
1993
15 years 3 months ago
A Parameterised Module System for Constructing Typed Logic Programs
The paper is concerned with the design of a module system for logic programming so as to satisfy many of the requirements of software en­ gineering. The design is based on the la...
Patricia M. Hill
105
Voted
ICFP
2005
ACM
16 years 2 months ago
A unified category-theoretic formulation of typed binding signatures
We generalise Fiore et al's account of variable binding for untyped cartesian contexts and Tanaka's account of variable binding for untyped linear contexts to give an ac...
Miki Tanaka, John Power