Sciweavers

1368 search results - page 123 / 274
» Personality-Based Practical Reasoning
Sort
View
SIGMOD
2011
ACM
152views Database» more  SIGMOD 2011»
14 years 6 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...
CVPR
2008
IEEE
16 years 5 months ago
Spectrally optimal factorization of incomplete matrices
From the recovery of structure from motion to the separation of style and content, many problems in computer vision have been successfully approached by using bilinear models. The...
Pedro M. Q. Aguiar, João M. F. Xavier, Mark...
227
Voted
POPL
2008
ACM
16 years 3 months ago
Proving non-termination
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
Ashutosh Gupta, Thomas A. Henzinger, Rupak Majumda...
PERCOM
2007
ACM
16 years 2 months ago
SHAD: A Human-Centered Security Architecture for the Plan B Operating System
This paper describes SHAD, a novel architecture for security in pervasive computing environments, and a prototype implementation. SHAD is a Peer-to-Peer and humancentered security...
Enrique Soriano, Francisco J. Ballesteros, Gorka G...
ICC
2009
IEEE
118views Communications» more  ICC 2009»
15 years 10 months ago
On Uplink Network MIMO under a Constrained Backhaul and Imperfect Channel Knowledge
Abstract— It is known that next generation mobile comunications systems will most likely employ multi-cell signal processing often referred to as network MIMO - in order to impro...
Patrick Marsch, Gerhard Fettweis