31686 search results - page 313 / 6338 » Resource typing in Guru |
172
click to vote
FOAL
2009
ACM
16 years 12 days ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
122
click to vote
FUZZIEEE
2007
IEEE
16 years 7 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...
152
click to vote
CAISE
2007
Springer
16 years 2 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...
158
click to vote
CSFW
2006
IEEE
15 years 12 months ago
2006
IEEE
Secrecy properties can be guaranteed through a combination of static and dynamic checks. The static checks may include the application of special type systems with notions of secr...
150
click to vote
SYNASC
2006
IEEE
15 years 12 months 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...