Sciweavers

2393 search results - page 43 / 479
» Fuzzy-UCS: preliminary results
Sort
View
CP
2010
Springer
15 years 4 months ago
Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP
We introduce a parallelized version of tree-decomposition based dynamic programming for solving difficult weighted CSP instances on many cores. A tree decomposition organizes cost ...
David Allouche, Simon de Givry, Thomas Schiex
DMS
2010
147views Multimedia» more  DMS 2010»
15 years 4 months ago
Towards Security-aware Program Visualization for Analyzing In-lined Reference Monitors
In-lined Reference Monitoring frameworks are an emerging technology for enforcing security policies over untrusted, mobile, binary code. However, formulating correct policy specifi...
Aditi Patwardhan, Kevin W. Hamlen, Kendra Cooper
HCSE
2010
15 years 4 months ago
The Secret Lives of Assumptions: Developing and Refining Assumption Personas for Secure System Design
Personas are useful for obtaining an empirically grounded understanding of a secure system's user population, its contexts of use, and possible vulnerabilities and threats end...
Shamal Faily, Ivan Flechais
HCSE
2010
15 years 4 months ago
Understanding Formal Description of Pitch-Based Input
The pitch-based input (humming, whistling, singing) in acoustic modality has already been studied in several projects. There is also a formal description of the pitch-based input w...
Ondrej Polácek, Zdenek Mikovec
143
Voted
IAT
2010
IEEE
15 years 4 months ago
Semi-supervised Learning for Opinion Detection
Research on opinion detection has shown that a large number of opinion-labeled data are necessary for capturing subtle opinions. However, opinion-labeled data, especially at the su...
Ning Yu, Sandra Kübler