2687 search results - page 272 / 538 » Formal Analysis of PKCS |
161
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
We present a formal description of a neurofuzzy system capable of aligning two sequences recognizing their internal structure. The alignment is done on two levels: grouping of the...
163
click to vote
WSPI
2004
15 years 8 months ago
2004
Paradoxes, particularly Tarski's liar paradox, represent an ongoing challenge that have long attracted special interest. There have been numerous attempts to give either a for...
171
click to vote
DAGSTUHL
1998
15 years 8 months ago
1998
After brie y reviewing the basic notions and terminology of active rules and relating them to production rules and deductive rules, respectively, we survey a number of formal appro...
154
click to vote
ECIS
2000
15 years 8 months ago
2000
The paper addresses some misconceptions of Software Engineering, requirements analysis and modelling in particular, due to underlying epistemological flaws., e.g. the believe that...
156
click to vote
WSC
2000
15 years 8 months ago
2000
Researchers at the National Institute of Standards and Technology have proposed the development of neutral libraries of simulation components. The availability of such libraries w...