Sciweavers

25041 search results - page 4247 / 5009
» Algorithms for Clustering Data
Sort
View
AE
2009
Springer
15 years 8 months ago
Artificial Evolution for 3D PET Reconstruction
This paper presents a method to take advantage of artificial evolution in positron emission tomography reconstruction. This imaging technique produces datasets that correspond to t...
Franck Patrick Vidal, Delphine Lazaro-Ponthus, Sam...
ATAL
2010
Springer
15 years 8 months ago
Distributed BDD-based BMC for the verification of multi-agent systems
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
Andrew V. Jones, Alessio Lomuscio
ATAL
2010
Springer
15 years 8 months ago
A graph-theoretic approach to protect static and moving targets from adversaries
The static asset protection problem (SAP) in a road network is that of allocating resources to protect vertices, given any possible behavior by an adversary determined to attack t...
John P. Dickerson, Gerardo I. Simari, V. S. Subrah...
228
Voted
ATAL
2010
Springer
15 years 8 months ago
Modeling collision avoidance behavior for virtual humans
In this paper, we present a new trajectory planning algorithm for virtual humans. Our approach focuses on implicit cooperation between multiple virtual agents in order to share th...
Stephen J. Guy, Ming C. Lin, Dinesh Manocha
CIMAGING
2009
120views Hardware» more  CIMAGING 2009»
15 years 8 months ago
Dantzig selector homotopy with dynamic measurements
The Dantzig selector is a near ideal estimator for recovery of sparse signals from linear measurements in the presence of noise. It is a convex optimization problem which can be r...
Muhammad Salman Asif, Justin K. Romberg
« Prev « First page 4247 / 5009 Last » Next »