Sciweavers

5550 search results - page 118 / 1110
» Different Approaches to Proof Systems
Sort
View
ICC
2000
IEEE
113views Communications» more  ICC 2000»
15 years 10 months ago
LSMAC and LSNAT: Two Approaches for Cluster-Based Scalable Web Servers
— Server responsiveness and scalability are more important than ever in today’s client/server dominated network environments. Recently, researchers have begun to consider clust...
Xuehong Gan, Trevor Schroeder, Steve Goddard, Byra...
KES
2006
Springer
15 years 6 months ago
Fuzzy Set Theoretical Approach to the RGB Color Triangle
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...
Naotoshi Sugano
ICWL
2007
Springer
16 years 16 days ago
The ELEKTRA Ontology Model: A Learner-Centered Approach to Resource Description
Abstract. There is little doubt that intelligent and adaptive educational technologies are capable of providing personalized learning experiences and improving learning success. Cu...
Michael D. Kickmeier-Rust, Dietrich Albert
SCS
2003
15 years 7 months ago
A Pragmatic Approach to Reasoning about the Assurance of Safety Arguments
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...
Rob Weaver, Jane Fenn, Tim Kelly
JFP
2000
163views more  JFP 2000»
15 years 6 months ago
Automatic useless-code elimination for HOT functional programs
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...
Ferruccio Damiani, Paola Giannini