Sciweavers

12015 search results - page 2157 / 2403
» Interactive Algorithms 2005
Sort
View
EUROCRYPT
2010
Springer
15 years 5 months ago
Constructing Verifiable Random Functions with Large Input Spaces
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...
Susan Hohenberger, Brent Waters
3DOR
2008
15 years 4 months ago
Markov Random Fields for Improving 3D Mesh Analysis and Segmentation
Mesh analysis and clustering have became important issues in order to improve the efficiency of common processing operations like compression, watermarking or simplification. In t...
Guillaume Lavoué, Christian Wolf
94
Voted
AVI
2008
15 years 4 months ago
Timeline trees: visualizing sequences of transactions in information hierarchies
In many applications transactions between the elements of an information hierarchy occur over time. For example, the product offers of a department store can be organized into pro...
Michael Burch, Fabian Beck, Stephan Diehl
WSC
2007
15 years 4 months ago
Self organized UAV swarm planning optimization for search and destroy using SWARMFARE simulation
As military interest continues to grow for Unmanned Aerial Vehicle (UAV) capabilities, the Air Force is exploring UAV autonomous control, mission planning and optimization techniq...
Dustin J. Nowak, Ian C. Price, Gary B. Lamont
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
15 years 4 months ago
Modular construction of finite and complete prefixes of Petri net unfoldings
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
Agnes Madalinski, Eric Fabre
« Prev « First page 2157 / 2403 Last » Next »