1981 search results - page 192 / 397 » Model-Checking Hierarchical Structures |
124
click to vote
WSCG
2004
15 years 4 months ago
2004
In this paper, the collision prediction between polyhedra under screw motions and a static scene using a new K dimensional tree data structure (Multiresolution Kdtree, MKtree) is ...
ISCI
2007
15 years 3 months ago
2007
Strategy planning is crucial to control a group to achieve a number of tasks in a closed area full of obstacles. In this study, genetic programming has been used to evolve rule-ba...
104
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...
145
click to vote
IGARSS
2010
15 years 16 days ago
2010
The optimal exploitation of the information provided by hyperspectral images requires the development of advanced image processing tools. This paper introduces a new hierarchical ...
132
click to vote
TCC
2005
Springer
15 years 8 months ago
2005
Springer
Weighted threshold secret sharing was introduced by Shamir in his seminal work on secret sharing. In such settings, there is a set of users where each user is assigned a positive w...