3446 search results - page 235 / 690 » A Reasoning Algorithm for pD* |
196
click to vote
HASKELL
2009
ACM
15 years 12 months ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
246
click to vote
ICDE
2002
IEEE
16 years 6 months ago
2002
IEEE
We present a diff algorithm for XML data. This work is motivated by the support for change control in the context of the Xyleme project that is investigating dynamic warehouses ca...
141
click to vote
CEC
2009
IEEE
16 years 5 days ago
2009
IEEE
— This paper attempts to address the question of scaling up Particle Swarm Optimization (PSO) algorithms to high dimensional optimization problems. We present a cooperative coevo...
156
click to vote
WCNC
2008
IEEE
15 years 11 months ago
2008
IEEE
— Wireless mesh networks hold great promise in the wireless transmission of video flows, particularly if the problem of providing sufficient network capacity can be addressed. ...
158
click to vote
ATAL
2007
Springer
15 years 11 months ago
2007
Springer
Multi-agent systems designed to work collaboratively with groups of people typically require private information that people will entrust to them only if they have assurance that ...