1387 search results - page 258 / 278 » Algorithms for Interactive Editing of Level Set Models |
98
Voted
EUROCRYPT
2010
Springer
15 years 1 months ago
2010
Springer
We present a family of verifiable random functions which are provably secure for exponentially-large input spaces under a non-interactive complexity assumption. Prior construction...
FUIN
2000
14 years 9 months ago
2000
We study the notion of class refinement in a concurrent object-oriented setting. Our model is based on a combination of action systems and classes. An action system describes the b...
58
Voted
ICRA
2009
IEEE
15 years 4 months ago
2009
IEEE
— We propose a system for improving grasping using fingertip optical proximity sensors that allows us to perform online grasp adjustments to an initial grasp point without requi...
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...
94
Voted
EVOW
2007
Springer
15 years 1 months ago
2007
Springer
In this paper we introduce an hybrid evolutionary algorithm for computer-aided orchestration. Our current approach to orchestration consists in replicating a target sound with a se...