3342 search results - page 158 / 669 » Automating Abstract Interpretation |
INCDM
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Cassava Mosaic Disease (CMD) has been an increasing concern to all countries in sub-Saharan Africa that depend on cassava for both commercial and local consumption. Infor...
CSB
2004
IEEE
15 years 3 months ago
2004
IEEE
Researchers, hindered by a lack of standard gene and protein-naming conventions, endure long, sometimes fruitless, literature searches. A system is described which is able to auto...
ICAIL
1995
ACM
15 years 2 months ago
1995
ACM
In this paper, we describe which roles deep structures of law play in (automatic) drafting legislation. Deep structures contain a formal description of the intended normative effe...
113
click to vote
ATAL
2005
Springer
15 years 1 months ago
2005
Springer
A constrained agent is limited in the actions that it can take at any given time, and a challenging problem is to design policies for such agents to do the best they can despite t...
FOIKS
2008
Springer
15 years 25 days ago
2008
Springer
Abstract. We present a novel logic-based approach to automate multi-issue bilateral negotiation in e-marketplaces. In such frameworks issues to negotiate on can be multiple, interr...