1397 search results - page 67 / 280 » On the Need for Practical Formal Methods |
SAS
1994
Springer
14 years 1 months ago
1994
Springer
Abstract. Our aim is to study how the interpretive approach -- inserting an interpreter between a source program and a program specializer -- can be used to improve the transformat...
IFL
2000
Springer
14 years 17 days ago
2000
Springer
Abstract. The paper presents several analyses to detect non-deterministic expressions in the parallel-functional language Eden. First, the need for the analysis is motivated, and t...
ICCAD
1997
IEEE
14 years 1 months ago
1997
IEEE
Abstract — The principles employed in the development of modern RF simulators are introduced and the various techniques currently in use, or expected to be in use in the next few...
SWWS
2008
13 years 10 months ago
2008
- Knowledge extraction methods have not efficiently evolved towards new methods to automate the process of building multilingual ontologies as the main representation of structured...
KDD
2007
ACM
14 years 9 months ago
2007
ACM
The need for mining causality, beyond mere statistical correlations, for real world problems has been recognized widely. Many of these applications naturally involve temporal data...