339 search results - page 13 / 68 » Basic concepts of abstract interpretation |
RAID
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Attack analysis is a challenging problem, especially in emerging environments where there are few known attack cases. One such new environment is the Mobile Ad hoc Networ...
102
Voted
SAIG
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. Functional languages are particularly well-suited to the implementation of interpreters for domain-specific embedded languages (DSELs). We describe an implemented techniq...
SYNTHESE
2008
14 years 11 months ago
2008
Abstract Stephen Read has presented an argument for the inconsistency of the concept of validity. We extend Read's results and show that this inconsistency is but one half of ...
128
click to vote
AMAI
2007
Springer
14 years 12 months ago
2007
Springer
Relational datasets, i.e., datasets in which individuals are described both by their own features and by their relations to other individuals, arise from various sources such as d...
CORR
2006
Springer
14 years 11 months ago
2006
Springer
We investigate here concept learning from incomplete examples. Our first purpose is to discuss to what extent logical learning settings have to be modified in order to cope with da...