Sciweavers

4211 search results - page 286 / 843
» A formal approach to MASQ
Sort
View
COMMA
2010
15 years 1 months ago
Integrating Dialectical and Accrual Modes of Argumentation
Abstract. This paper argues that accrual should be modelled in terms of reasoning about the application of preferences to sets of arguments, and shows how such reasoning can be for...
Sanjay Modgil, Trevor J. M. Bench-Capon
JAIR
2011
84views more  JAIR 2011»
15 years 1 months ago
Evaluating Temporal Graphs Built from Texts via Transitive Reduction
Temporal information has been the focus of recent attention in information extraction, leading to some standardization effort, in particular for the task of relating events in a t...
Xavier Tannier, Philippe Muller
PRL
2011
15 years 1 months ago
Efficient approximate Regularized Least Squares by Toeplitz matrix
Machine Learning based on the Regularized Least Square (RLS) model requires one to solve a system of linear equations. Direct-solution methods exhibit predictable complexity and s...
Sergio Decherchi, Paolo Gastaldo, Rodolfo Zunino
243
Voted
SPE
2011
15 years 1 months ago
Decomposition tool for event-B
Abstract. Two methods have been identified for Event-B model decomposition: shared variable and shared event. The purpose of this paper is to introduce the two approaches and the ...
Renato Silva, Carine Pascal, Thai Son Hoang, Micha...
SEMWEB
2010
Springer
15 years 1 months ago
The Semantic Web needs more cognition
One of the key deficiencies of the Semantic Web is its lack of cognitive plausibility. We argue that by accounting for people's reasoning mechanisms and cognitive representati...
Martin Raubal, Benjamin Adams