2373 search results - page 11 / 475 » Complexities for generalized models of self-assembly |
DBPL
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We propose a framework in which query sizes can be estimated from arbitrary statistical assertions on the data. In its most general form, a statistical assertion states t...
100
click to vote
IV
2008
IEEE
15 years 6 months ago
2008
IEEE
Focus + context visualization facilitates the exploration of complex information spaces. This paper proposes 3D generalization lenses, a new visualization technique for virtual 3D...
106
Voted
VMCAI
2009
Springer
15 years 6 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
AAAI
2010
15 years 25 days ago
2010
Diffusion processes taking place in social networks are used to model a number of phenomena, such as the spread of human or computer viruses, and the adoption of products in `vira...
104
click to vote
UAI
2001
15 years 1 months ago
2001
There is increasing interest within the research community in the design and use of recursive probability models. There remains concern about computational complexity costs and th...