805 search results - page 82 / 161 » Enumerating All Solutions for Constraint Satisfaction Proble... |
126
click to vote
FLAIRS
2003
15 years 5 months ago
2003
This paper presents the Incremental Breakout Algorithm with Variable Ordering (IncBA). This algorithm belongs to the class of local search algorithms for solving Constraint Satisf...
149
Voted
DAC
2003
ACM
16 years 5 months ago
2003
ACM
This paper presents a novel partial assignment technique (PAT) that decides which tasks should be assigned to the same resource without explicitly defining assignment of these tas...
113
click to vote
JAIR
2008
15 years 4 months ago
2008
A phylogenetic tree shows the evolutionary relationships among species. Internal nodes of the tree represent speciation events and leaf nodes correspond to species. A goal of phyl...
177
click to vote
SDM
2007
SIAM
15 years 6 months ago
2007
SIAM
k-anonymity is a popular measure of privacy for data publishing: It measures the risk of identity-disclosure of individuals whose personal information are released in the form of ...
164
click to vote
AIPS
2009
15 years 5 months ago
2009
In this paper we extend dynamic controllability of temporally-flexible plans to temporally-flexible reactive programs. We consider three reactive programming language constructs w...