Sciweavers

5619 search results - page 768 / 1124
» A Region Inference Algorithm
Sort
View
238
Voted
ESOP
2010
Springer
16 years 4 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
SDM
2009
SIAM
208views Data Mining» more  SDM 2009»
16 years 4 months ago
A Bayesian Approach Toward Finding Communities and Their Evolutions in Dynamic Social Networks.
Although a large body of work are devoted to finding communities in static social networks, only a few studies examined the dynamics of communities in evolving social networks. I...
Tianbao Yang, Yun Chi, Shenghuo Zhu, Yihong Gong, ...
206
Voted
ALT
2006
Springer
16 years 4 months ago
Probabilistic Generalization of Simple Grammars and Its Application to Reinforcement Learning
Abstract. Recently, some non-regular subclasses of context-free grammars have been found to be efficiently learnable from positive data. In order to use these efficient algorithms ...
Takeshi Shibata, Ryo Yoshinaka, Takashi Chikayama
CVPR
2010
IEEE
1639views Computer Vision» more  CVPR 2010»
16 years 3 months ago
Multi-Target Tracking of Time-varying Spatial Patterns
Time-varying spatial patterns are common, but few computational tools exist for discovering and tracking multiple, sometimes overlapping, spatial structures of targets. We propose...
Jingchen Liu, Yanxi Liu
190
Voted
CVPR
2009
IEEE
16 years 2 months ago
Disambiguating the recognition of 3D objects
We propose novel algorithms for the detection, segmentation, recognition, and pose estimation of threedimensional objects. Our approach initially infers geometric primitives to de...
Gutemberg Guerra-Filho