4250 search results - page 651 / 850 » Understanding the Requirements on Modelling Techniques |
207
click to vote
EUROCRYPT
2010
Springer
15 years 10 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...
180
click to vote
CP
2008
Springer
15 years 9 months ago
2008
Springer
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both wi...
186
click to vote
BILDMED
2007
15 years 8 months ago
2007
Abstract. The problem of repositioning mobile C-arms to defined target locations during surgical procedures currently requires not only time, but also skill and additional radiati...
191
click to vote
HCI
2007
15 years 8 months ago
2007
In recent years high quality interaction devices have become very popular in our environment. The industries are also currently undergoing rapid change and various technologies hav...
183
click to vote
STAIRS
2008
15 years 8 months ago
2008
Robots are complex entities that can be modeled as multi-agent systems. The multi-agent paradigm provides an integrated intelligence framework such as a path planning agent that us...