Sciweavers

2620 search results - page 317 / 524
» Qualities in Possible Worlds
Sort
View
JASIS
2010
175views more  JASIS 2010»
15 years 1 months ago
The absence of creativity in Feist and the computational process
The decision of the United States Supreme Court in 1991 in Feist Publications, Inc. v. Rural Tel. Service Co. affirmed originality as a constitutional requirement for copyright. O...
Julian Warner
CORR
2011
Springer
202views Education» more  CORR 2011»
14 years 10 months ago
First-order Logic: Modality and Intensionality
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...
Zoran Majkic
209
Voted
CORR
2011
Springer
210views Education» more  CORR 2011»
14 years 10 months ago
Binary Sequent Calculi for Truth-invariance Entailment of Finite Many-valued Logics
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new binary sequ...
Zoran Majkic
CORR
2011
Springer
162views Education» more  CORR 2011»
14 years 10 months ago
Re-thinking Enrolment in Identity Card Schemes
Many countries around the world have initiated national ID card programs in the last decade. These programs are considered of strategic value to governments due to its contributio...
Ali M. Al-Khouri
ICDE
2011
IEEE
215views Database» more  ICDE 2011»
14 years 10 months ago
Top-k keyword search over probabilistic XML data
—Despite the proliferation of work on XML keyword query, it remains open to support keyword query over probabilistic XML data. Compared with traditional keyword search, it is far...
Jianxin Li, Chengfei Liu, Rui Zhou, Wei Wang