Sciweavers

3208 search results - page 160 / 642
» Methods and views
Sort
View
80
Voted
IV
2007
IEEE
152views Visualization» more  IV 2007»
15 years 4 months ago
Geovisualization and synergies from InfoVis and Visual Analytics
Geovisualization (GeoViz) is an intrinsically complex process. The analyst needs to look at data from various perspectives and at various scales, from “seeing the whole” to ...
Gennady L. Andrienko, Mikael Jern, Jason Dykes, Sa...
DFT
1999
IEEE
72views VLSI» more  DFT 1999»
15 years 2 months ago
Yield Estimation of VLSI Circuits with Downscaled Layouts
This paper describes the yield estimation approach to layout scaling of submicron VLSI circuits. The presented method makes it feasible to find scaling factor of the IC design whi...
Witold A. Pleskacz
87
Voted
FM
2006
Springer
169views Formal Methods» more  FM 2006»
15 years 1 months ago
PSL Model Checking and Run-Time Verification Via Testers
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
Amir Pnueli, Aleksandr Zaks
ISIM
2007
14 years 11 months ago
Genomial Co-Design: An MDA-compliant Approach for Embedded Architectures
Abstract. This paper proposes a modified, genomial, version of function - architecture co-design rnethod so that wider cvaluation of architecturcs from both functional arrd structu...
Janis Silins
79
Voted
TCS
2002
14 years 9 months ago
Unsupervised learning in neural computation
In this article, we consider unsupervised learning from the point of view of applying neural computation on signal and data analysis problems. The article is an introductory surve...
Erkki Oja