2702 search results - page 115 / 541 » Practically Applicable Formal Methods |
113
click to vote
NPL
1998
15 years 1 months ago
1998
Adaptive artificial neural network techniques are introduced and applied to the factorization of 2-D second order polynomials. The proposed neural network is trained using a const...
113
Voted
IJCAI
2003
15 years 3 months ago
2003
There has been significant recent progress in reasoning and constraint processing methods. In areas such as planning and finite model-checking, current solution techniques can h...
168
click to vote
SBMF
2010
Springer
14 years 9 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
116
Voted
VIROLOGY
2010
15 years 19 days ago
2010
We propose a general, formal definition of the concept of malware (malicious software) as a single sentence in the language of a certain modal logic. Our definition al thanks to it...
123
click to vote
AIEDU
2005
15 years 2 months ago
2005
This paper presents the experiment and consequent evaluation of introducing the Logic-ITA in a second year tertiary undergraduate class. The Logic-ITA is a web-based Intelligent Te...