Sciweavers

631 search results - page 90 / 127
» Why Model
Sort
View
AGP
2003
IEEE
14 years 2 months ago
Solving Hard Disjunctive Logic Programs Faster (Sometimes)
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
Gerald Pfeifer
ICASSP
2011
IEEE
13 years 12 days ago
When codeword frequency meets geographical location
When codeword frequency meets geographical location in landmark search applications, is it still discriminative for the search procedure? In this paper, we give a systematic inves...
Rongrong Ji, Ling-Yu Duan, Jie Chen, Hongxun Yao, ...
CEAS
2011
Springer
12 years 8 months ago
Spam or ham?: characterizing and detecting fraudulent "not spam" reports in web mail systems
Web mail providers rely on users to “vote” to quickly and collaboratively identify spam messages. Unfortunately, spammers have begun to use bots to control large collections o...
Anirudh Ramachandran, Anirban Dasgupta, Nick Feams...
COGSR
2010
74views more  COGSR 2010»
13 years 3 months ago
Two qubits for C.G. Jung's theory of personality
We propose a formalization of C.G. Jung's theory of personality using a four-dimensional Hilbert-space for the representation of two qubits. The first qubit relates to Jung&#...
Reinhard Blutner, Elena Hochnadel
ACMICEC
2006
ACM
111views ECommerce» more  ACMICEC 2006»
14 years 13 days ago
Passive verification of the strategyproofness of mechanisms in open environments
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
Laura Kang, David C. Parkes