8232 search results - page 1181 / 1647 » Dynamic Logic Programming |
173
click to vote
SPIRE
2005
Springer
16 years 9 days ago
2005
Springer
We present a new algorithm for generating super condensed neighbourhoods. Super condensed neighbourhoods have recently been presented as the minimal set of words that represent a p...
194
click to vote
UM
2005
Springer
16 years 9 days ago
2005
Springer
This research aims at reconciling web personalization with privacy constraints imposed by legal restrictions and by users’ privacy preferences. We propose a software product line...
159
click to vote
DSOM
2004
Springer
16 years 7 days ago
2004
Springer
Autonomic distributed management enables for deploying self-directed monitoring and control tasks that track dynamic network problems such as performance degradation and security t...
167
click to vote
IH
2004
Springer
16 years 6 days ago
2004
Springer
We introduce a new dynamic technique for embedding robust software watermarks into a software program using thread contention. We show the technique to be resilient to many semanti...
174
click to vote
SAT
2004
Springer
16 years 5 days ago
2004
Springer
Modern algorithms for the SAT problem reveal an almost tractable behavior on “real-world” instances. This is frequently contributed to the fact that these instances possess an ...