Sciweavers

5615 search results - page 337 / 1123
» On the Computational Capabilities of Several Models
Sort
View
TIM
2011
134views more  TIM 2011»
15 years 2 months ago
A New Sensory System for Modeling and Tracking Humans Within Industrial Work Cells
—This paper introduces a new sensory system for the 2-D detection, tracking, and prediction of human motions. Using the data acquired through the sensory system, a model of a hum...
Nima Najmaei, Mehrdad R. Kermani, M. A. Al-Lawati
JAIR
2012
211views Hardware» more  JAIR 2012»
13 years 10 months ago
Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
Circumscription and logic programs under the stable model semantics are two wellknown nonmonotonic formalisms. The former has served as a basis of classical logic based action for...
Joohyung Lee, Ravi Palla
CVPR
2003
IEEE
16 years 9 months ago
Automatic Relighting of Overlapping Textures of a 3D Model
This paper presents a new method to correct overlapping textures of a single 3D model where each texture was obtained under possibly different lighting conditions and color respon...
Etienne Beauchesne, Sébastien Roy
SC
2005
ACM
16 years 1 months ago
The MHETA Execution Model for Heterogeneous Clusters
The availability of inexpensive “off the shelf” machines increases the likelihood that parallel programs run on heterogeneous clusters of machines. These programs are increasi...
Mario Nakazawa, David K. Lowenthal, Wenduo Zhou
CDC
2009
IEEE
114views Control Systems» more  CDC 2009»
15 years 11 months ago
Parametric model order reduction accelerated by subspace recycling
Abstract-- Many model order reduction methods for parameterized systems need to construct a projection matrix V which requires computing several moment matrices of the parameterize...
Lihong Feng, Peter Benner, Jan G. Korvink