Sciweavers

5615 search results - page 888 / 1123
» On the Computational Capabilities of Several Models
Sort
View
CODES
2009
IEEE
15 years 12 months ago
Native MPSoC co-simulation environment for software performance estimation
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...
Patrice Gerin, Mian Muhammad Hamayun, Fréd&...
WSC
2007
15 years 9 months ago
Towards a conceptual framework for visual analytics of time and time-oriented data
Time is an important data dimension with distinct characteristics that is common across many application domains. This demands specialized methods in order to support proper analy...
Wolfgang Aigner, Alessio Bertone, Silvia Miksch, C...
FORTE
1994
15 years 8 months ago
An improvement in formal verification
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
Gerard J. Holzmann, Doron Peled
EUSFLAT
2009
117views Fuzzy Logic» more  EUSFLAT 2009»
15 years 5 months ago
Type-II Fuzzy Possibilistic C-Mean Clustering
Fuzzy clustering is well known as a robust and efficient way to reduce computation cost to obtain the better results. In the literature, many robust fuzzy clustering models have be...
Mohammad Hossein Fazel Zarandi, Marzie Zarinbal, I...
KDD
2006
ACM
156views Data Mining» more  KDD 2006»
16 years 7 months ago
Detecting outliers using transduction and statistical testing
Outlier detection can uncover malicious behavior in fields like intrusion detection and fraud analysis. Although there has been a significant amount of work in outlier detection, ...
Daniel Barbará, Carlotta Domeniconi, James ...