Sciweavers

981 search results - page 163 / 197
» Negation in Spatial Reasoning
Sort
View
TSE
2011
114views more  TSE 2011»
14 years 4 months ago
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...
Luciano Baresi, Carlo Ghezzi, Luca Mottola
SYNTHESE
2010
99views more  SYNTHESE 2010»
14 years 4 months ago
The epistemology of science - a bird's-eye view
In this paper I outline my conception of the epistemology of science, by reference to my published papers, showing how the ideas presented there fit together. In particular I disc...
Alexander Bird
ASPLOS
2012
ACM
13 years 5 months ago
Aikido: accelerating shared data dynamic analyses
Despite a burgeoning demand for parallel programs, the tools available to developers working on shared-memory multicore processors have lagged behind. One reason for this is the l...
Marek Olszewski, Qin Zhao, David Koh, Jason Ansel,...
CVPR
2005
IEEE
15 years 11 months ago
Learning Spatiotemporal T-Junctions for Occlusion Detection
The goal of motion segmentation and layer extraction can be viewed as the detection and localization of occluding surfaces. A feature that has been shown to be a particularly stro...
Nicholas Apostoloff, Andrew W. Fitzgibbon
ECCV
2008
Springer
15 years 11 months ago
Determining Patch Saliency Using Low-Level Context
The increased use of context for high level reasoning has been popular in recent works to increase recognition accuracy. In this paper, we consider an orthogonal application of con...
Devi Parikh, C. Lawrence Zitnick, Tsuhan Chen