3342 search results - page 483 / 669 » Automating Abstract Interpretation |
104
Voted
CD
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The ability to deploy Grid infrastructure and services across organizational boundaries (rapidly, reliably, and scalably) is critical for the success of large-scale servi...
128
click to vote
DEXA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Data intensive information is often published on the internet in the format of HTML tables. Extracting some of the information that is of users’ interest from the inter...
ECSQARU
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In previous papers, we have presented a framework for merging structured information in XML involving uncertainty in the form of probabilities, degrees of beliefs and nec...
116
Voted
ECSQARU
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
ECSQARU
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Preferences and uncertainty occur in many real-life problems. The theory of possibility is one non-probabilistic way of dealing with uncertainty, which allows for easy in...