2432 search results - page 350 / 487 » Cryptographic logical relations |
157
click to vote
IANDC
2010
15 years 5 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
186
click to vote
SCP
2010
15 years 4 months ago
2010
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, design rules, and other so-call...
164
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
Two conflicting goals are often involved in the design of fuzzy rule-based systems: Accuracy maximization and interpretability maximization. A number of approaches have been propos...
165
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
The word Interpretability is becoming more and more frequent in the fuzzy literature. It is admitted as the main advantage of fuzzy systems and it should be given a main role in fu...
175
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
The approach of continuous evaluation is an important tool in the learning process. However, only recently it was applied in training based on virtual reality. This paper presents ...