4595 search results - page 287 / 919 » Reasoning about Plans |
180
click to vote
CEC
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract-- This work furthers the understanding of modularity in grammar-based genetic programming approaches by analyzing how different grammars may be capable of producing the sa...
324
click to vote
HCI
2011
14 years 11 months ago
2011
Almost 20% of big earthquakes in the world occur in Japan. It becomes impossible for private companies and governments to carry out their business if they suffer from severe damage...
211
click to vote
KDD
2008
ACM
16 years 7 months ago
2008
ACM
Privacy is an increasingly important aspect of data publishing. Reasoning about privacy, however, is fraught with pitfalls. One of the most significant is the auxiliary informatio...
165
click to vote
VMCAI
2009
Springer
16 years 2 months ago
2009
Springer
Vectors and bags are basic collection data structures, which are used frequently in programs and specifications. Reasoning about these data structures is supported by established ...
232
click to vote
CSFW
2003
IEEE
16 years 22 days ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...