792 search results - page 105 / 159 » Value Based Argumentation Frameworks |
CORR
2006
Springer
13 years 10 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
EDBT
2009
ACM
13 years 7 months ago
2009
ACM
Data Stream Management Systems (DSMS) operate under strict performance requirements. Key to meeting such requirements is to efficiently handle time-critical tasks such as managing...
CIKM
2006
Springer
14 years 1 months ago
2006
Springer
A major challenge in developing models for hypertext retrieval is to effectively combine content information with the link structure available in hypertext collections. Although s...
BMCBI
2010
13 years 10 months ago
2010
Background: With the continuously increasing demands on knowledge- and data-management that databases have to meet, ontologies and the theories of granularity they use become more...
MICCAI
2007
Springer
14 years 11 months ago
2007
Springer
Abstract. The creation of 2D ultrasound mosaics is becoming a common clinical practice with a high clinical value. The next step coming along with the increasing availability of 2D...