Sciweavers

7920 search results - page 1534 / 1584
» The Swarm Application Framework
Sort
View
AIPS
2008
15 years 7 days ago
Linear Relaxation Techniques for Task Management in Uncertain Settings
In this paper, we consider the problem of assisting a busy user in managing her workload of pending tasks. We assume that our user is typically oversubscribed, and is invariably j...
Pradeep Varakantham, Stephen F. Smith
AIPS
2008
15 years 7 days ago
HiPPo: Hierarchical POMDPs for Planning Information Processing and Sensing Actions on a Robot
Flexible general purpose robots need to tailor their visual processing to their task, on the fly. We propose a new approach to this within a planning framework, where the goal is ...
Mohan Sridharan, Jeremy L. Wyatt, Richard Dearden
CAV
2010
Springer
239views Hardware» more  CAV 2010»
14 years 12 months ago
Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs
Triggering errors in concurrent programs is a notoriously difficult task. A key reason for this is the behavioral complexity resulting from the large number of interleavings of op...
Vineet Kahlon, Chao Wang
AMDO
2008
Springer
14 years 12 months ago
Accurate Human Motion Capture Using an Ergonomics-Based Anthropometric Human Model
Abstract. In this paper we present our work on markerless model-based 3D human motion capture using multiple cameras. We use an industry proven anthropometric human model that was ...
Jan Bandouch, Florian Engstler, Michael Beetz
ASPLOS
2008
ACM
14 years 12 months ago
The mapping collector: virtual memory support for generational, parallel, and concurrent compaction
Parallel and concurrent garbage collectors are increasingly employed by managed runtime environments (MREs) to maintain scalability, as multi-core architectures and multi-threaded...
Michal Wegiel, Chandra Krintz
« Prev « First page 1534 / 1584 Last » Next »