Sciweavers

3533 search results - page 422 / 707
» Information theory and Thermodynamics
Sort
View
FSKD
2011
Springer
313views Fuzzy Logic» more  FSKD 2011»
14 years 6 months ago
Robust initialization for reasoning procedures in a hierarchical heterogeneous knowledge-base
—This paper describes a model of a hierarchical, heterogeneous knowledge-base. The proposed model consists of an associative level that is implemented by a Kanerva-like sparse di...
Slobodan Ribaric, Darijan Marcetic, Zongmin Ma
POPL
2012
ACM
14 years 2 months ago
Static and user-extensible proof checking
Despite recent successes, large-scale proof development within proof assistants remains an arcane art that is extremely timeconsuming. We argue that this can be attributed to two ...
Antonis Stampoulis, Zhong Shao
WSDM
2012
ACM
254views Data Mining» more  WSDM 2012»
14 years 2 months ago
Maximizing product adoption in social networks
One of the key objectives of viral marketing is to identify a small set of users in a social network, who when convinced to adopt a product will influence others in the network l...
Smriti Bhagat, Amit Goyal 0002, Laks V. S. Lakshma...
MOBICOM
2012
ACM
13 years 9 months ago
MARVEL: multiple antenna based relative vehicle localizer
Access to relative location of nearby vehicles on the local roads or on the freeways is useful for providing critical alerts to the drivers, thereby enhancing their driving experi...
Dong Li, Tarun Bansal, Zhixue Lu, Prasun Sinha
TON
2012
13 years 9 months ago
A Game-Theoretic Approach to Anonymous Networking
—Anonymous wireless networking is studied when an adversary monitors the transmission timing of an unknown subset of the network nodes. For a desired quality of service (QoS), as...
Parvathinathan Venkitasubramaniam, Lang Tong