2373 search results - page 265 / 475 » Complexities for generalized models of self-assembly |
192
click to vote
PODS
1993
ACM
15 years 10 months ago
1993
ACM
In this paper we consider the problem of using disk blocks efficiently in searching graphs that are too large to fit in internal memory. Our model allows a vertex to be represented...
177
click to vote
ICAS
2009
IEEE
15 years 10 months ago
2009
IEEE
Legged autonomous vehicles move by executing patterns of leg-joint angles known as gaits. Synthesizing gaits by hand is a complex and time-consuming task which becomes even more c...
155
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
A fundamental building block of many data mining and analysis approaches is density estimation as it provides a comprehensive statistical model of a data distribution. For that re...
172
click to vote
ECAI
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Game theory is a widely used formal model for studying strategical interactions between agents. Boolean games [8] are two players, zero-sum static games where players...
180
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...