5550 search results - page 118 / 1110 » Different Approaches to Proof Systems |
163
click to vote
ICC
2000
IEEE
15 years 10 months ago
2000
IEEE
— Server responsiveness and scalability are more important than ever in today’s client/server dominated network environments. Recently, researchers have begun to consider clust...
163
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
The present study considers a fuzzy color system in which triangular pyramid-like membership functions are constructed on the RGB color triangle. This system can process a fuzzy in...
169
click to vote
ICWL
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. There is little doubt that intelligent and adaptive educational technologies are capable of providing personalized learning experiences and improving learning success. Cu...
209
click to vote
SCS
2003
15 years 7 months ago
2003
The development of safety critical systems is guided by standards. Many standards require the development of a safety case to demonstrate the acceptability of Safety Critical Syst...
168
click to vote
JFP
2000
15 years 6 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...