Sciweavers

867 search results - page 88 / 174
» Optimizing synthesis with metasketches
Sort
View
TOG
2012
582views Communications» more  TOG 2012»
13 years 3 months ago
Synthesis of detailed hand manipulations using contact sampling
Capturing human activities that involve both gross full-body motion and detailed hand manipulation of objects is challenging for standard motion capture systems. We introduce a ne...
Yuting Ye, C. Karen Liu
89
Voted
ICCAD
2004
IEEE
121views Hardware» more  ICCAD 2004»
15 years 9 months ago
Factoring and eliminating common subexpressions in polynomial expressions
Polynomial expressions are used to compute a wide variety of mathematical functions commonly found in signal processing and graphics applications, which provide good opportunities...
Anup Hosangadi, Farzan Fallah, Ryan Kastner
FMICS
2007
Springer
15 years 6 months ago
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
Leonard Lensink, Sjaak Smetsers, Marko C. J. D. va...
ISLPED
2003
ACM
96views Hardware» more  ISLPED 2003»
15 years 5 months ago
Effective graph theoretic techniques for the generalized low power binding problem
This paper proposes two very fast graph theoretic heuristics for the low power binding problem given fixed number of resources and multiple architectures for the resources. First...
Azadeh Davoodi, Ankur Srivastava
120
Voted
GECCO
1999
Springer
167views Optimization» more  GECCO 1999»
15 years 4 months ago
A Biologically Inspired Fitness Function for Robotic Grasping
This paper describes the innovative use of genetic programming (GP) to solve the grasp synthesis problem for multifingered robot hands. The goal of our algorithm is to select a Ò...
J. Jaime Fernandez, Ian D. Walker