Sciweavers

7335 search results - page 1322 / 1467
» Scene Based Reasoning
Sort
View
AI
2011
Springer
14 years 7 months ago
Parallelizing a Convergent Approximate Inference Method
Probabilistic inference in graphical models is a prevalent task in statistics and artificial intelligence. The ability to perform this inference task efficiently is critical in l...
Ming Su, Elizabeth Thompson
133
Voted
AINA
2011
IEEE
14 years 7 months ago
Exploring Multi-homing Issues in Heterogeneous Environments
—Mobile devices with two network interfaces (WiFi and 3G) are already commercially available. Pointto-point communications such as Infrared and Bluetooth are also readily used. I...
Glenford E. Mapp, Mahdi Aiash, Hélio Cresta...
132
Voted
CHI
2011
ACM
14 years 7 months ago
Side effects and "gateway" tools: advocating a broader look at evaluating persuasive systems
This paper argues for evaluating the impact of persuasive systems on users beyond metrics that focus on system usage, based on an interview study of 16 Wii Fit users. While explor...
Victoria Schwanda, Steven Ibara, Lindsay Reynolds,...
DIMVA
2011
14 years 7 months ago
Operating System Interface Obfuscation and the Revealing of Hidden Operations
Many software security solutions—including malware analyzers, information flow tracking systems, auditing utilities, and host-based intrusion detectors—rely on knowledge of s...
Abhinav Srivastava, Andrea Lanzi, Jonathon T. Giff...
EUROSYS
2011
ACM
14 years 7 months ago
Symbolic crosschecking of floating-point and SIMD code
We present an effective technique for crosschecking an IEEE 754 floating-point program and its SIMD-vectorized version, implemented in KLEE-FP, an extension to the KLEE symbolic ...
Peter Collingbourne, Cristian Cadar, Paul H. J. Ke...
« Prev « First page 1322 / 1467 Last » Next »