Sciweavers

99 search results - page 12 / 20
» Some Arguments About Legal Arguments
Sort
View
NDJFL
2010
13 years 2 months ago
Polyadic Quantification via Denoting Concepts
The question of the origin of polyadic expressivity is explored and the results are brought to bear on Bertrand Russell's 1903 theory of denoting concepts, which is the main o...
Ori Simchen
DCC
2006
IEEE
14 years 7 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
SEMWEB
2009
Springer
14 years 1 months ago
Change Representation For OWL 2 Ontologies
Ontologies are entities that evolve over time, therefore it is essential to represent and manage changes to ontologies along with the ontologies themselves. In this paper we propos...
Raúl Palma, Peter Haase, Óscar Corch...
ACMICEC
2005
ACM
151views ECommerce» more  ACMICEC 2005»
14 years 28 days ago
Product knowledge reasoning: a DL-based approach
In order to capture the full fledge semantic of complicated product data model, the expressive language ALCNHR+ K(D) is introduced. It cannot only be able to represent knowledge a...
Nizamuddin Channa, Shanping Li, Xiangjun Fu
CC
2004
Springer
134views System Software» more  CC 2004»
13 years 11 months ago
Widening Integer Arithmetic
Abstract. Some codes require computations to use fewer bits of precision than are normal for the target machine. For example, Java requires 32-bit arithmetic even on a 64-bit targe...
Kevin Redwine, Norman Ramsey