103 search results - page 16 / 21 » A Formal Methods Approach to Medical Device Review |
80
Voted
LOGCOM
2007
14 years 9 months ago
2007
Categorisation of objects into classes is currently supported by (at least) two ‘orthogonal’ methods. In logic-based approaches, classifications are defined through ontologi...
117
Voted
ESANN
2006
14 years 11 months ago
2006
The Self-Organizing map (SOM), a powerful method for data mining and cluster extraction, is very useful for processing data of high dimensionality and complexity. Visualization met...
104
click to vote
DIS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. The Symposium on Computational Discovery of Communicable Knowledge was held from March 24 to 25, 2001, at Stanford University. Fifteen speakers reviewed recent advances i...
COMPSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...
107
click to vote
ARTS
1997
Springer
15 years 1 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...