Sciweavers

ICTAI
2007
IEEE
14 years 1 months ago
Strong Inverse Consistencies for Non-Binary CSPs
Domain filtering local consistencies, such as inverse consistencies, that only delete values and do not add new constraints are particularly useful in Constraint Programming. Alt...
Kostas Stergiou
ICTAI
2007
IEEE
14 years 1 months ago
Prediction of Cerebral Aneurysm Rupture
Cerebral aneurysms are weak or thin spots on blood vessels in the brain that balloon out. While the majority of aneurysms do not burst, those that do would lead to serious complic...
Qiangfeng Peter Lau, Wynne Hsu, Mong-Li Lee, Ying ...
ICTAI
2007
IEEE
14 years 1 months ago
Hypergraph Partitioning for Exploiting Localities in Nonlinear Constrained Optimization
In this paper, we present a new hypergraph partitioning algorithm that jointly optimizes the number of hyperedge cuts and the number of shared vertices in nonlinear constrained op...
Benjamin W. Wah, Soomin Lee
ICTAI
2007
IEEE
14 years 1 months ago
Semantic Web: The Story So Far
The goal of Semantic Web research is to transform the Web from a linked document repository into a distributed knowledge base and application platform, thus allowing the vast rang...
Ian Horrocks
ICTAI
2007
IEEE
14 years 1 months ago
k-Attractors: A Clustering Algorithm for Software Measurement Data Analysis
Yiannis Kanellopoulos, Panagiotis Antonellis, Chri...
ICTAI
2007
IEEE
14 years 1 months ago
Qualitative Constraints Representation for the Time and Space in SAT
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in th...
Jean-François Condotta, Dominique D'Almeida
ICTAI
2007
IEEE
14 years 1 months ago
On Portfolios for Backtracking Search in the Presence of Deadlines
Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that portfolios of backtracking algorith...
Huayue Wu, Peter van Beek
ICTAI
2007
IEEE
14 years 1 months ago
Ontology-Based Object Recognition for Remote Sensing Image Interpretation
The multiplication of Very High Resolution (spatial or spectral) remote sensing images appears to be an opportunity to identify objects in urban and periurban areas. The classifi...
Nicolas Durand, Sébastien Derivaux, Germain...
ICTAI
2007
IEEE
14 years 1 months ago
Swarm Approaches for the Patrolling Problem, Information Propagation vs. Pheromone Evaporation
This paper deals with the multi-agent patrolling problem in unknown environment using two collective approaches exploiting environmental dynamics. After specifying criteria of per...
Hoang Nam Chu, Arnaud Glad, Olivier Simonin, Fran&...