Sciweavers

1585 search results - page 122 / 317
» Automatically optimizing secure computation
Sort
View
ICIP
2002
IEEE
14 years 1 months ago
Video skims: taxonomies and an optimal generation framework
This paper presents a new conceptual framework for summarization that considers the relationship between entities, device properties and user information needs. We summarize using...
Hari Sundaram, Shih-Fu Chang
TOG
2012
165views Communications» more  TOG 2012»
11 years 10 months ago
Optimizing locomotion controllers using biologically-based actuators and objectives
We present a technique for automatically synthesizing walking and running controllers for physically-simulated 3D humanoid characters. The sagittal hip, knee, and ankle degrees-of...
Jack M. Wang, Samuel R. Hamner, Scott L. Delp, Vla...
BMCBI
2010
118views more  BMCBI 2010»
13 years 8 months ago
Computing H/D-Exchange rates of single residues from data of proteolytic fragments
Background: Protein conformation and protein/protein interaction can be elucidated by solution-phase Hydrogen/ Deuterium exchange (sHDX) coupled to high-resolution mass analysis o...
Ernst Althaus, Stefan Canzar, Carsten Ehrler, Mark...
CAV
2009
Springer
184views Hardware» more  CAV 2009»
14 years 8 months ago
Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique
Abstract. We present a new technique called Monotonic Partial Order Reduction (MPOR) that effectively combines dynamic partial order reduction with symbolic state space exploration...
Vineet Kahlon, Chao Wang, Aarti Gupta
SIGMETRICS
2009
ACM
151views Hardware» more  SIGMETRICS 2009»
14 years 2 months ago
MapReduce optimization using regulated dynamic prioritization
We present a system for allocating resources in shared data and compute clusters that improves MapReduce job scheduling in three ways. First, the system uses regulated and user-as...
Thomas Sandholm, Kevin Lai