8232 search results - page 1265 / 1647 » Dynamic Logic Programming |
142
click to vote
CP
2007
Springer
16 years 27 days ago
2007
Springer
Ordering heuristics are a powerful tool in CSP search algorithms. Among the most successful ordering heuristics are heuristics which enforce a fail first strategy by using the mi...
178
click to vote
GECCO
2007
Springer
16 years 27 days ago
2007
Springer
We propose that the behaviour of non-linear media can be controlled automatically through coevolutionary systems. By extension, forms of unconventional computing, i.e., massively ...
164
click to vote
UM
2007
Springer
16 years 25 days ago
2007
Springer
Web personalization has demonstrated to be advantageous for both online customers and vendors. However, its benefits may be severely counteracted by privacy constraints. Personaliz...
197
click to vote
AINA
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper presents HyMoNet, a peer-to-peer hybrid multicast overlay network for efficient live media streaming. The system comprises two parts: service infrastructure and user sp...
150
click to vote
CSFW
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...