Sciweavers

1094 search results - page 121 / 219
» On Computing Explanations in Argumentation
Sort
View
CHI
2001
ACM
16 years 7 months ago
Model for unistroke writing time
Unistrokes are a viable form of text input in pen-based user interfaces. However, they are a very heterogeneous group of gestures the only common feature being that all are drawn ...
Poika Isokoski
DCC
2006
IEEE
16 years 6 months ago
LDPC codes generated by conics in the classical projective plane
We construct various classes of low-density parity-check codes using point-line incidence structures in the classical projective plane PG(2, q). Each incidence structure is based ...
Sean V. Droms, Keith E. Mellinger, Chris Meyer
DCC
2002
IEEE
16 years 6 months ago
Subcodes of the Projective Generalized Reed-Muller Codes Spanned by Minimum-Weight Vectors
We use methods of Mortimer [19] to examine the subcodes spanned by minimumweight vectors of the projective generalized Reed-Muller codes and their duals. These methods provide a p...
Peng Ding, Jennifer D. Key
IDC
2009
Springer
16 years 1 months ago
A Trusted Defeasible Reasoning Service for Brokering Agents in the Semantic Web
Abstract. Based on the plethora of proposals and standards for logic- and rulebased reasoning for the Semantic Web (SW), a key factor for the success of SW agents is interoperabili...
Kalliopi Kravari, Efstratios Kontopoulos, Nick Bas...
APLAS
2009
ACM
16 years 1 months ago
Witnessing Purity, Constancy and Mutability
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...
Ben Lippmeier