Sciweavers

6562 search results - page 328 / 1313
» Noetherianity and Combination Problems
Sort
View
CP
2006
Springer
15 years 10 months ago
: A Bottom-Up Approach for Solving Quantified CSPs
Abstract. Thanks to its extended expressiveness, the quantified constraint satisfaction problem (QCSP) can be used to model problems that are difficult to express in the standard C...
Guillaume Verger, Christian Bessière
DALT
2006
Springer
15 years 10 months ago
Dynamic Model Checking for Multi-agent Systems
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
Nardine Osman, David Robertson, Christopher Walton
ECML
2006
Springer
15 years 10 months ago
Multiple-Instance Learning Via Random Walk
This paper presents a decoupled two stage solution to the multiple-instance learning (MIL) problem. With a constructed affinity matrix to reflect the instance relations, a modified...
Dong Wang, Jianmin Li, Bo Zhang
EDUTAINMENT
2006
Springer
15 years 10 months ago
Energy Matting
In this paper, we formulate the image matting as one of solving energy minimization problems. Our approach has the following advantages. First, the matte estimation is modeled usin...
Yu Guan, Xiao Liang, Zi'ang Ding, Yinan Fan, Wei C...
AICCSA
2001
IEEE
200views Hardware» more  AICCSA 2001»
15 years 10 months ago
Location Management in Mobile Computing
This paper presents a novel approach based on clustering algorithms in combination with the location area (LA) scheme to solve the mobility management problem. Users' movemen...
Riky Subrata, Albert Y. Zomaya