Sciweavers

7991 search results - page 573 / 1599
» Using More Reasoning to Improve
Sort
View
CAINE
2010
15 years 5 months ago
Scrybe: A Tablet Interface for Virtual Environments
Virtual reality (VR) technology has the potential to provide unique perspectives of data that are not possible with standard desktop hardware. The tracking devices often found wit...
Roger V. Hoang, Joshua Hegie, Frederick C. Harris ...
ICLP
2011
Springer
14 years 10 months ago
Minimizing the overheads of dependent {AND}-parallelism
Parallel implementations of programming languages need to control synchronization overheads. Synchronization is essential for ensuring the correctness of parallel code, yet it add...
Peter Wang, Zoltan Somogyi
SIGMOD
2011
ACM
152views Database» more  SIGMOD 2011»
14 years 10 months ago
Tracing data errors with view-conditioned causality
A surprising query result is often an indication of errors in the query or the underlying data. Recent work suggests using causal reasoning to find explanations for the surprisin...
Alexandra Meliou, Wolfgang Gatterbauer, Suman Nath...
JAIR
2008
135views more  JAIR 2008»
15 years 7 months ago
On Similarities between Inference in Game Theory and Machine Learning
In this paper, we elucidate the equivalence between inference in game theory and machine learning. Our aim in so doing is to establish an equivalent vocabulary between the two dom...
Iead Rezek, David S. Leslie, Steven Reece, Stephen...
AGP
1999
IEEE
15 years 11 months ago
Enhancing Sharing for Precision
Regarding the precision of combined domains including Jacobs and Langen's Sharing there is a core of techniques, such as the standard integration with freeness and linearity ...
Roberto Bagnara, Enea Zaffanella, Patricia M. Hill