18429 search results - page 160 / 3686 » Typing dynamic typing |
150
Voted
FSS
2008
15 years 5 months ago
2008
In this paper we consider algebras of fuzzy truth values equipped with an implication operation. Generalizing the definition of type-1 fuzzy implications, we discuss extended fuzz...
143
click to vote
ENTCS
2000
15 years 4 months ago
2000
The rewriting calculus is a rule construction and application framework. As such it embeds in a uniform way term rewriting and lambda-calculus. Since rule application is an explic...
129
Voted
IPL
2002
15 years 4 months ago
2002
We study the problem of scheduling unit time tasks of two types on m parallel identical machines. For each type, given numbers of tasks are required to be completed by the specifi...
138
Voted
SPEECH
2010
14 years 11 months ago
2010
This paper shows that the effect of different types of noise on recognition of different phonemes by native versus non-native listeners is highly variable, even within classes of ...