Sciweavers

2196 search results - page 86 / 440
» Practical Reasoning Using Values
Sort
View
ICAIL
2009
ACM
14 years 12 months ago
Case law in extended argumentation frameworks
In this paper we discuss how recent developments in argumentation frameworks, most notably Extended Argumentation Frameworks, can inform the representation of a body of case law u...
Trevor J. M. Bench-Capon, Sanjay Modgil
OOPSLA
2001
Springer
15 years 6 months ago
Points-To Analysis for Java using Annotated Constraints
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
Atanas Rountev, Ana Milanova, Barbara G. Ryder
KR
1992
Springer
15 years 6 months ago
Learning Useful Horn Approximations
While the task of answering queries from an arbitrary propositional theory is intractable in general, it can typicallybe performed e ciently if the theory is Horn. This suggests t...
Russell Greiner, Dale Schuurmans
RECOMB
2006
Springer
16 years 2 months ago
Simple and Fast Inverse Alignment
For as long as biologists have been computing alignments of sequences, the question of what values to use for scoring substitutions and gaps has persisted. While some choices for s...
John D. Kececioglu, Eagu Kim
106
Voted
EGOV
2008
Springer
15 years 4 months ago
eGovernment Project Evaluation: An Integrated Framework
Recently, the EU government has put a lot of effort into modernizing its public sectors using advanced information and communication technology (ICT). Together with various univers...
Jianwei Liu, Zsófia Derzsi, Marta Raus, Ale...