Sciweavers

4074 search results - page 771 / 815
» Abstract Graph Transformation
Sort
View
TOPLAS
2008
81views more  TOPLAS 2008»
14 years 9 months ago
Size-change termination with difference constraints
lem of inferring termination from such abstract information is not the halting problem for programs and may well be decidable. If this is the case, the decision algorithm forms a &...
Amir M. Ben-Amram
CORR
2010
Springer
236views Education» more  CORR 2010»
14 years 4 months ago
Precise, Scalable and Online Request Tracing for Multi-tier Services of Black Boxes
As more and more multi-tier services are developed from commercial off-the-shelf components or heterogeneous middleware without source code available, both developers and administr...
Bo Sang, Jianfeng Zhan, Zhihong Zhang, Lei Wang, D...
ICDE
2011
IEEE
281views Database» more  ICDE 2011»
14 years 1 months ago
Declarative analysis of noisy information networks
—There is a growing interest in methods for analyzing data describing networks of all types, including information, biological, physical, and social networks. Typically the data ...
Walaa Eldin Moustafa, Galileo Namata, Amol Deshpan...
ECCV
2004
Springer
15 years 11 months ago
Human Pose Estimation Using Learnt Probabilistic Region Similarities and Partial Configurations
Abstract. A model of human appearance is presented for efficient pose estimation from real-world images. In common with related approaches, a high-level model defines a space of co...
Timothy J. Roberts, Stephen J. McKenna, Ian W. Ric...
ECCV
1998
Springer
15 years 11 months ago
From Reference Frames to Reference Planes: Multi-View Parallax Geometry and Applications
Abstract. This paper presents a new framework for analyzing the geometry of multiple 3D scene points from multiple uncalibrated images, based on decomposing the projection of these...
Michal Irani, P. Anandan, Daphna Weinshall