Sciweavers

1129 search results - page 65 / 226
» SAC and neighbourhood SAC
Sort
View
SAC
2010
ACM
16 years 1 months ago
Relational consistency by constraint filtering
In this paper, we propose a new algorithm for enforcing relational consistency on every set of k constraints of a finite Constraint Satisfaction Problem (CSP). This algorithm ope...
Shant Karakashian, Robert J. Woodward, Berthe Y. C...
SAC
2009
ACM
16 years 1 months ago
Topology determination and isolation for implicit plane curves
A method is proposed to generate an isolation for a plane curve, which is a set of boxes covering the curve, having the same topology as the curve, and approximating the curve to a...
Jin-San Cheng, Xiao-Shan Gao, Jia Li
SAC
2009
ACM
16 years 1 months ago
Extending PASSI to model multi-agent systems product lines
Multi-agent System Product Lines (MAS-PLs) have emerged to integrate software product lines (SPLs) and agent-oriented software engineering techniques by incorporating their respec...
Ingrid Nunes, Uirá Kulesza, Camila Nunes, E...
SAC
2009
ACM
16 years 1 months ago
A robust and tractable contact model for dynamic robotic simulation
Existing contact modeling in rigid body simulation is inadequate for robotics: no algorithms guarantee both convergence and nonpenetration at multiple contact points in the presen...
Evan Drumwright, Dylan A. Shell
SAC
2009
ACM
16 years 1 months ago
Web-services in the dutch healthcare insurance sector: expected versus achieved benefits
The upcoming buzz words nowadays appear to be web service or open network environment [4]. This is the latest IT-technology to support business processes which is embraced by an i...
Hayley Bakker, Maria E. Iacob