2373 search results - page 17 / 475 » Complexities for generalized models of self-assembly |
136
click to vote
SMA
1997
ACM
15 years 8 months ago
1997
ACM
: Modeling of families of geometric objects is a major topic in modern geometric and solid modeling. Object families are central to many important solid modeling applications, incl...
159
click to vote
SAC
2011
ACM
14 years 6 months ago
2011
ACM
A moving region whose location and extend change over time can imply topological changes such as region split and hole formation. To study this phenomenon is useful in many applic...
144
click to vote
EURODAC
1995
IEEE
15 years 7 months ago
1995
IEEE
Due to the ever increasing complexity of electronic system (ES) design, the conceptual design phase and its realization in later phases of the design stream have become increasing...
130
click to vote
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...
TSP
2008
15 years 3 months ago
2008
High Resolution (HR) methods are known to provide accurate frequency estimates for discrete spectra. The Polynomial Amplitude Complex Exponentials (PACE) model, also called quasipo...