2514 search results - page 143 / 503 » The use of industrial-strength formal methods |
164
click to vote
PR
1998
15 years 6 months ago
1998
This paper describes a method for optimizing the cost matrix of any approximate string matching algorithm based on the Levenshtein distance. The method, which uses genetic algorit...
160
click to vote
ISCIS
2009
Springer
16 years 29 days ago
2009
Springer
Abstract—The notion of affordances was proposed by J.J. Gibson, to refer to the action possibilities offered to the organism by its environment. In a previous formalization, affo...
165
click to vote
ICRA
2006
IEEE
16 years 13 days ago
2006
IEEE
— This paper demonstrates a learning mechanism for complex tasks. Such tasks may be inherently expensive to learn in terms of training time and/or cost of obtaining each training...
225
click to vote
SERP
2010
15 years 4 months ago
2010
We propose a formal method to automatically integrate security rules regarding an access control policy (expressed in Or-BAC) in Java programs. Given an untrusted application and a...
136
click to vote
ISCAS
2008
IEEE
16 years 24 days ago
2008
IEEE
— This paper presents an original method to tune a neuromimetic IC based on neuron conductance-based models (Hodgkin-Huxley formalism). This method is well known in electrophysio...