4245 search results - page 632 / 849 » Input Modeling |
190
click to vote
TACAS
2012
Springer
14 years 2 months ago
2012
Springer
Today’s Internet interdomain routing protocol, the Border Gateway Protocol (BGP), is increasingly complicated and fragile due to policy misconfigurations by individual autonomou...
203
click to vote
TOG
2012
13 years 9 months ago
2012
We present an interactive animation editor for complex deformable object animations. Given an existing animation, the artist directly manipulates the deformable body at any time f...
201
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
We introduce a saliency model based on two key ideas. The first one is considering local and global image patch rarities as two complementary processes. The second one is based o...
203
click to vote
TCBB
2008
15 years 6 months ago
2008
A genetic map is an ordering of genetic markers calculated from a population of known lineage. Although, traditionally, a map has been generated from a single population for each s...
199
click to vote
PASTE
2005
ACM
16 years 3 days ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...