8512 search results - page 1417 / 1703 » Computing Theory With Relevance |
191
click to vote
CCS
2005
ACM
16 years 6 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
183
click to vote
DSOM
2005
Springer
16 years 6 days ago
2005
Springer
The growth in the scale of systems and networks has created many challenges for their management, especially for event processing. Our premise is that scaling event processing requ...
183
click to vote
ESA
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Modern computer graphics systems are able to render sophisticated 3D scenes consisting of millions of polygons. For most camera positions only a small collection of these...
135
click to vote
FIMH
2005
Springer
16 years 6 days ago
2005
Springer
We describe numerical simulations of spiral waves dynamics in the computational model of human atrial tissue with the CourtemancheRamirez-Nattel local kinetics. The spiral wave was...
159
click to vote
GECCO
2005
Springer
16 years 6 days ago
2005
Springer
A quality-time analysis of multi-objective evolutionary algorithms (MOEAs) based on schema theorem and building blocks hypothesis is developed. A bicriteria OneMax problem, a hypo...