4460 search results - page 757 / 892 » Formal methods for interactive systems |
122
Voted
TVCG
2008
15 years 3 months ago
2008
This paper proposes novel methods for visualizing specifically the large power-law graphs that arise in sociology and the sciences. In such cases a large portion of edges can be sh...
130
click to vote
CGF
2002
15 years 3 months ago
2002
We present a method to efficiently construct and render a smooth surface for approximation of large functional scattered data. Using a subdivision surface framework and techniques...
145
Voted
ICTAI
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract--Reliability and/or availability are increasingly important aspects in the design of systems, especially networks and service offerings. Optimization here is a multi-crite...
127
click to vote
JCS
2011
14 years 10 months ago
2011
We present a model of adaptive attacks which we combine with information-theoretic metrics to quantify the information revealed to an adaptive adversary. This enables us to expres...
117
Voted
TKDE
2011
14 years 10 months ago
2011
—In multiagent interactions, such as e-commerce and file sharing, being able to accurately assess the trustworthiness of others is important for agents to protect themselves fro...