Sciweavers

686 search results - page 103 / 138
» How Bayesians Debug
Sort
View
ICCV
2011
IEEE
12 years 9 months ago
Manhattan Scene Understanding Using Monocular, Stereo, and 3D Features
This paper addresses scene understanding in the context of a moving camera, integrating semantic reasoning ideas from monocular vision with 3D information available through struct...
Alex Flint, David Murray, Ian Reid
ECIS
2011
12 years 8 months ago
Adaptive persuasive messages in an e-commerce setting: the use of persuasion profiles
Technologies that are intentionally designed to change a person’s attitude or behaviors are emergent. Designers of these technologies frequently use implementations of influence...
Maurits Kaptein
ICSE
2008
IEEE-ACM
14 years 9 months ago
Testing pervasive software in the presence of context inconsistency resolution services
Pervasive computing software adapts its behavior according to the changing contexts. Nevertheless, contexts are often noisy. Context inconsistency resolution provides a cleaner pe...
Heng Lu, W. K. Chan, T. H. Tse
ICSE
2008
IEEE-ACM
14 years 9 months ago
Data flow testing of service-oriented workflow applications
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
Lijun Mei, W. K. Chan, T. H. Tse
POPL
2010
ACM
14 years 6 months ago
Generating Compiler Optimizations from Proofs
We present an automated technique for generating compiler optimizations from examples of concrete programs before and after improvements have been made to them. The key technical ...
Ross Tate, Michael Stepp, Sorin Lerner