6050 search results - page 173 / 1210 » Information In The Non-Stationary Case |
168
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
154
click to vote
COLING
2010
15 years 1 months ago
2010
We describe a new information fusion approach to integrate facts extracted from cross-media objects (videos and texts) into a coherent common representation including multi-level ...
143
click to vote
ICSE
2005
IEEE-ACM
16 years 6 months ago
2005
IEEE-ACM
CODECRAWLER (in the remainder of the text CC) is a language independent, interactive, information visualization tool. It is mainly targeted at visualizing object-oriented software...
178
click to vote
MEDES
2009
ACM
16 years 1 months ago
2009
ACM
Information Visualization is a challenging field, enabling a better use of humans’ visual and cognitive system, to make sense of very large datasets. This paper aims at improvi...
163
click to vote
ICC
2007
IEEE
16 years 24 days ago
2007
IEEE
— We characterize the statistical properties of the mutual information between the transmitter and the receiver of a multiple-input multiple-output (MIMO) communication system in...