7167 search results - page 1104 / 1434 » A Technique for Invariant Generation |
207
click to vote
SIGMOD
2010
ACM
16 years 12 days ago
2010
ACM
Our world today is generating huge amounts of graph data such as social networks, biological networks, and the semantic web. Many of these real-world graphs are edge-labeled graph...
218
click to vote
ACNS
2010
Springer
16 years 12 days ago
2010
Springer
To this day, realizations in the standard-model of (lossy) trapdoor functions from discrete-log-type assumptions require large public key sizes, e.g., about Θ(λ2 ) group elements...
237
click to vote
GECCO
2010
Springer
16 years 12 days ago
2010
Springer
Differential evolution (DE) is a simple yet powerful evolutionary algorithm for global numerical optimization. Different strategies have been proposed for the offspring generation...
157
click to vote
PAKDD
2010
ACM
16 years 11 days ago
2010
ACM
During social interactions in a community, there are often sub-communities that behave in opposite manner. These antagonistic sub-communities could represent groups of people with ...
196
click to vote
CDC
2009
IEEE
16 years 9 days ago
2009
IEEE
— The task in control allocation is to determine how to generate a specified generalized force from a redundant set of control effectors where the associated actuator control in...