Sciweavers

5550 search results - page 919 / 1110
» Different Approaches to Proof Systems
Sort
View
EC
2006
121views ECommerce» more  EC 2006»
15 years 6 months ago
A Study of Structural and Parametric Learning in XCS
The performance of a learning classifier system is due to its two main components. First, it evolves new structures by generating new rules in a genetic process; second, it adjust...
Tim Kovacs, Manfred Kerber
JISE
2007
116views more  JISE 2007»
15 years 6 months ago
Mining Navigation Behaviors for Term Suggestion of Search Engines
Query expansion is extensively applied in information retrieval systems, such as search engines. Most conventional approaches to query expansion have been developed based on textua...
Hahn-Ming Lee, Chi-Chun Huang, Wei-Tang Hung
182
Voted
PERCOM
2007
ACM
15 years 6 months ago
An application adaptation layer for wireless sensor networks
In wireless sensor networks, poor performance or unexpected behavior may be experienced for several reasons, such as trivial deterioration of sensing hardware, unsatisfactory impl...
Marco Avvenuti, Paolo Corsini, Paolo Masci, Alessi...
POPL
2012
ACM
14 years 2 months ago
Multiple facets for dynamic information flow
JavaScript has become a central technology of the web, but it is also the source of many security problems, including cross-site scripting attacks and malicious advertising code. ...
Thomas H. Austin, Cormac Flanagan
TACAS
2012
Springer
275views Algorithms» more  TACAS 2012»
14 years 2 months ago
Pushdown Model Checking for Malware Detection
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
Fu Song, Tayssir Touili