2149 search results - page 384 / 430 » Form over Substance |
126
click to vote
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
117
click to vote
AIIDE
2008
15 years 4 months ago
2008
Interactive Storytelling techniques are attracting much interest for their potential to develop new game genres but also as another form of procedural content generation, specific...
112
click to vote
AIPS
2008
15 years 4 months ago
2008
The current evaluation functions for heuristic planning are expensive to compute. In numerous domains these functions give good guidance on the solution, so it worths the computat...
133
click to vote
ICIA
2007
15 years 4 months ago
2007
We build the generic methodology based on machine learning and reasoning to detect the patterns of interaction between conflicting agents, including humans and their assistants. L...
FAST
2008
15 years 4 months ago
2008
Disk-based deduplication storage has emerged as the new-generation storage system for enterprise data protection to replace tape libraries. Deduplication removes redundant data se...