Sciweavers

8555 search results - page 298 / 1711
» Property Based Coordination
Sort
View
AI
2003
Springer
16 years 20 days ago
A Graph Based Backtracking Algorithm for Solving General CSPs
Many AI tasks can be formalized as constraint satisfaction problems (CSPs), which involve finding values for variables subject to constraints. While solving a CSP is an NP-complet...
Wanlin Pang, Scott D. Goodwin
FDL
2007
IEEE
15 years 11 months ago
Towards Assertion Based Verification of Analog and Mixed Signal Designs Using PSL
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
Ghiath Al Sammane, Mohamed H. Zaki, Zhi Jie Dong, ...
ECCV
2006
Springer
15 years 11 months ago
Robust Homography Estimation from Planar Contours Based on Convexity
Abstract. We propose a homography estimation method from the contours of planar regions. Standard projective invariants such as cross ratios or canonical frames based on hot points...
Alberto Ruiz, Pedro E. López-de-Teruel, Lor...
206
Voted
JCM
2008
134views more  JCM 2008»
15 years 7 months ago
Cover-Free Family based Efficient Group Key Management Strategy in Wireless Sensor Network
Abstract-- Secure group key distribution and efficient rekeying is one of the most challenging security issues in sensor networks at present. In this paper, Latin square is firstly...
Li Xu, Jianwei Chen, Xiaoding Wang
CVPR
2007
IEEE
16 years 9 months ago
Capturing long-range correlations with patch models
The use of image patches to capture local correlations between pixels has been growing in popularity for use in various low-level vision tasks. There is a trade-off between using ...
Vincent Cheung, Nebojsa Jojic, Dimitris Samaras