6978 search results - page 1301 / 1396 » On Proofs in System P |
TVCG
2011
13 years 4 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. ...
WWW
2011
ACM
13 years 4 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...
JAMIA
2010
13 years 3 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 ...
SIAMADS
2010
13 years 3 months ago
2010
We present a weakly nonlinear analysis of our recently developed model for the formation of crime patterns. Using a perturbative approach, we find amplitude equations that govern t...
TASLP
2010
13 years 3 months ago
2010
This paper examines the performance of several source separation systems on a speech separation task for which human intelligibility has previously been measured. For anechoic mixt...