Sciweavers

2373 search results - page 137 / 475
» Complexities for generalized models of self-assembly
Sort
View
DAC
2005
ACM
16 years 7 months ago
Correlation-preserved non-gaussian statistical timing analysis with quadratic timing model
Recent study shows that the existing first order canonical timing model is not sufficient to represent the dependency of the gate delay on the variation sources when processing an...
Lizheng Zhang, Weijen Chen, Yuhen Hu, John A. Gubn...
VLDB
2004
ACM
96views Database» more  VLDB 2004»
16 years 6 months ago
Multidimensional data modeling for location-based services
With the recent and continuing advances in areas such as wireless communications and positioning technologies, mobile, locationbased services are becoming possible. Such services ...
Christian S. Jensen, Augustas Kligys, Torben Bach ...
ATAL
2009
Springer
16 years 1 months ago
Combining fault injection and model checking to verify fault tolerance in multi-agent systems
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
Jonathan Ezekiel, Alessio Lomuscio
MM
2003
ACM
132views Multimedia» more  MM 2003»
15 years 11 months ago
On image auto-annotation with latent space models
Image auto-annotation, i.e., the association of words to whole images, has attracted considerable attention. In particular, unsupervised, probabilistic latent variable models of t...
Florent Monay, Daniel Gatica-Perez
VLSID
1999
IEEE
101views VLSI» more  VLSID 1999»
15 years 10 months ago
Formal System Design Based on the Synchrony Hypothesis, Functional Models and Skeletons
Formal approaches to HW and system design have not been generally adopted, because designers often view the modelling concepts in these approaches as unsuitable for their problems...
Ingo Sander, Axel Jantsch