Sciweavers

1606 search results - page 197 / 322
» Inferring Personal Information from Demand-Response Systems
Sort
View
POPL
2004
ACM
16 years 6 months ago
Global value numbering using random interpretation
We present a polynomial time randomized algorithm for global value numbering. Our algorithm is complete when conditionals are treated as non-deterministic and all operators are tr...
Sumit Gulwani, George C. Necula
KBSE
2010
IEEE
15 years 4 months ago
Solving string constraints lazily
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
Pieter Hooimeijer, Westley Weimer
ACMACE
2009
ACM
16 years 29 days ago
iSee: interactive scenario explorer for online tournament games
Fantasy games, in which players compete to correctly predict realworld outcomes in sports, entertainment, and politics, have grown in popularity and now represent a significant po...
Greg Smith, Desney S. Tan, Bongshin Lee
FGR
2011
IEEE
268views Biometrics» more  FGR 2011»
14 years 10 months ago
Emotion recognition using PHOG and LPQ features
— We propose a method for automatic emotion recognition as part of the FERA 2011 competition [1] . The system extracts pyramid of histogram of gradients (PHOG) and local phase qu...
Abhinav Dhall, Akshay Asthana, Roland Goecke, Tom ...
GIS
2010
ACM
15 years 1 months ago
Supporting 3D route planning in indoor space based on the LEGO representation
With the prevalence of car navigation systems, indoor navigation systems are increasingly attracting attention in the indoor research area. However, the available models for indoo...
Wenjie Yuan, Markus Schneider