5863 search results - page 1076 / 1173 » On Model-Checking of P Systems |
151
click to vote
JAIR
2011
14 years 10 months ago
2011
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system...
158
click to vote
SIGMETRICS
2011
ACM
14 years 10 months ago
2011
ACM
We present a performance analysis and benchmarking study P2 “active” library, which provides an abstraction framework for the solution of parallel unstructured mesh applicatio...
121
click to vote
TVCG
2011
14 years 10 months ago
2011
—We present a novel approach to direct and control virtual crowds using navigation fields. Our method guides one or more agents towards desired goals based on guidance fields. ...
157
Voted
WWW
2011
ACM
14 years 10 months ago
2011
ACM
Many malicious activities on the Web today make use of compromised Web servers, because these servers often have high pageranks and provide free resources. Attackers are therefore...
134
click to vote
JAMIA
2010
14 years 10 months ago
2010
Objective Lack of dose adjustment for renally cleared drugs in the presence of poor renal function is a common problem in the hospital setting. The absence of a clinical decision ...