Sciweavers

2196 search results - page 238 / 440
» Practical Reasoning Using Values
Sort
View
RAID
2010
Springer
15 years 4 days ago
Bait Your Hook: A Novel Detection Technique for Keyloggers
Software keyloggers are a fast growing class of malware often used to harvest confidential information. One of the main reasons for this rapid growth is the possibility for unpriv...
Stefano Ortolani, Cristiano Giuffrida, Bruno Crisp...
TCOM
2010
68views more  TCOM 2010»
15 years 3 days ago
Convergence Analysis of Downstream VDSL Adaptive Multichannel Partial FEXT Cancellation
—In this paper we analyze an adaptive downstream multichannel VDSL precoder that is based on error signal feedback. The analysis presents sufficient conditions for precoder conv...
Itsik Bergel, Amir Leshem
CCIA
2010
Springer
14 years 8 months ago
WizArg: Visual Argumentation Framework Solving Wizard
Extension-based argumentation semantics have shown to be a suitable approach for performing practical reasoning. An important concern in extensionbased-argumentation semantics is t...
Ignasi Gómez-Sebastià, Juan Carlos N...
SOCIALCOM
2010
14 years 8 months ago
Incentive Compatible Distributed Data Mining
Abstract--In this paper, we propose a game-theoretic mechanism to encourage truthful data sharing for distributed data mining. Our proposed mechanism uses the classic VickreyClarke...
Murat Kantarcioglu, Robert Nix
DAC
2008
ACM
16 years 2 months ago
Construction of concrete verification models from C++
C++ based verification methodologies are now emerging as the preferred method for SOC design. However most of the verification involving the C++ models are simulation based. The c...
Malay Haldar, Gagandeep Singh, Saurabh Prabhakar, ...