18429 search results - page 190 / 3686 » Typing dynamic typing |
124
click to vote
FUZZIEEE
2007
IEEE
16 years 18 days ago
2007
IEEE
— The inferencing stage of a type-2 fuzzy inferencing system is driven by join and meet operations. As conventionally implemented these algorithms are computationally complex. Th...
156
click to vote
CAISE
2007
Springer
16 years 13 days ago
2007
Springer
In a series of publications, we have proposed a foundational system of ontological categories which has been used to evaluate and improve the quality of conceptual modeling languag...
156
click to vote
SYNASC
2006
IEEE
16 years 8 days ago
2006
IEEE
The paper focuses on means of defining parameterized type categories and algorithms built on such types in Mathematica. Symbolic algorithms based on category theory have the advan...
163
click to vote
ICDAR
2005
IEEE
15 years 12 months ago
2005
IEEE
The ScatterType CAPTCHA, designed to resist character– segmentation attacks and shown to be highly legible to human readers, is analyzed for vulnerabilities and is offered for e...
176
click to vote
TLDI
2005
ACM
15 years 11 months ago
2005
ACM
Atomicity is a fundamental correctness property in multithreaded programs. This paper presents an algorithm for verifying atomicity via type inference. The underlying type system ...