Sciweavers

823 search results - page 142 / 165
» Stateful Subset Cover
Sort
View
MOR
2007
109views more  MOR 2007»
13 years 9 months ago
Solution and Forecast Horizons for Infinite-Horizon Nonhomogeneous Markov Decision Processes
We consider the problem of solving a nonhomogeneous infinite horizon Markov Decision Process (MDP) problem in the general case of potentially multiple optimal first period polic...
Torpong Cheevaprawatdomrong, Irwin E. Schochetman,...
ICCV
2009
IEEE
15 years 2 months ago
Poselets: Body Part Detectors Trained Using 3D Human Pose Annotations
We address the classic problems of detection, segmenta- tion and pose estimation of people in images with a novel definition of a part, a poselet. We postulate two criteria (1) ...
Lubomir Bourdev, Jitendra Malik
DAC
2008
ACM
14 years 11 months ago
ADAM: run-time agent-based distributed application mapping for on-chip communication
Design-time decisions can often only cover certain scenarios and fail in efficiency when hard-to-predict system scenarios occur. This drives the development of run-time adaptive s...
Jörg Henkel, Mohammad Abdullah Al Faruque, Ru...
SIGSOFT
2003
ACM
14 years 10 months ago
Deadline analysis of interrupt-driven software
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
Dennis Brylow, Jens Palsberg
WWW
2005
ACM
14 years 10 months ago
Consistency checking of UML model diagrams using the XML semantics approach
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many differe...
Yasser Kotb, Takuya Katayama