Sciweavers

5726 search results - page 417 / 1146
» Supporting annotations on relations
Sort
View
AMAI
2002
Springer
15 years 6 months ago
Probabilistic Argumentation Systems and Abduction
Probabilistic argumentation systems are based on assumption-based reasoning for obtaining arguments supporting hypotheses and on probability theory to compute probabilities of sup...
Jürg Kohlas, Dritan Berzati, Rolf Haenni
IFIP12
2010
15 years 4 months ago
Event Extraction for Legal Case Building and Reasoning
We are interested in developing tools to support the activities of lawyers in corporate litigation. In current applications, information such as characters that have played a signi...
Nikolaos Lagos, Frédérique Segond, S...
TSD
2010
Springer
15 years 4 months ago
Correlation Features and a Linear Transform Specific Reproducing Kernel
Abstract. In this paper we introduce two ideas for phoneme classification: First, we derive the necessary steps to integrate linear transform into the computation of reproducing ke...
Andreas Beschorner, Dietrich Klakow
TSE
2011
145views more  TSE 2011»
15 years 1 months ago
Semi-Proving: An Integrated Method for Program Proving, Testing, and Debugging
— We present an integrated method for program proving, testing, and debugging. Using the concept of metamorphic relations, we select necessary properties for target programs. For...
Tsong Yueh Chen, T. H. Tse, Zhiquan Zhou
CVPR
2005
IEEE
16 years 8 months ago
Histograms of Oriented Gradients for Human Detection
We study the question of feature sets for robust visual object recognition, adopting linear SVM based human detection as a test case. After reviewing existing edge and gradient ba...
Navneet Dalal, Bill Triggs