11740 search results - page 277 / 2348 » More Problems in Rewriting |
201
click to vote
AAAI
2008
15 years 9 months ago
2008
We describe HTN-MAKER, an algorithm for learning hierarchical planning knowledge in the form of decomposition methods for Hierarchical Task Networks (HTNs). HTNMAKER takes as inpu...
176
click to vote
IEEEARES
2010
IEEE
16 years 1 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
168
click to vote
ICC
2007
IEEE
16 years 28 days ago
2007
IEEE
— An approach to mitigating interference between 802.16 license-exempt systems is proposed in this paper. More specifically, the approach focuses on solving problems which arise...
160
click to vote
GECCO
2007
Springer
16 years 23 days ago
2007
Springer
Crucial to the more widespread use of evolutionary computation techniques is the ability to scale up to handle complex problems. In the field of genetic programming, a number of d...
177
click to vote
ESCIENCE
2006
IEEE
16 years 20 days ago
2006
IEEE
Modern scientific experiments can generate large amounts of data, which may be replicated and distributed across multiple resources to improve application performance and fault to...