3146 search results - page 404 / 630 » Efficient Consequence Finding |
124
Voted
ESORICS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Simulatability has established itself as a salient notion for defining and proving the security of cryptographic protocols since it entails strong security and compositio...
117
click to vote
GECCO
2006
Springer
15 years 7 months ago
2006
Springer
Recently, studies with the XCS classifier system on Boolean functions have shown that in certain types of functions simple crossover operators can lead to disruption and, conseque...
148
click to vote
VDA
2010
15 years 6 months ago
2010
Parallel coordinates technique has been widely used in information visualization applications and it has achieved great success in visualizing multivariate data and perceiving the...
139
click to vote
SCA
2007
15 years 6 months ago
2007
Although mesh-based methods are efficient for simulating simple hyperelasticity, maintaining and adapting a mesh-based representation is less appealing in more complex scenarios, ...
143
Voted
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
As increasing numbers of processors and agents pervade the human environment, societies comprising both humans and agents will emerge. Presently, it is unknown how a person might ...