5128 search results - page 410 / 1026 » Discrete Component Analysis |
214
click to vote
ISSTA
2000
ACM
15 years 12 months ago
2000
ACM
—Network protocols are often analyzed using simulations. We demonstrate how to extend such simulations to check propositions expressing safety properties of network event traces ...
192
click to vote
COSIT
1999
Springer
15 years 12 months ago
1999
Springer
The project CommonGIS1 aims at building a system allowing users to view and analyze geographically referenced thematic data. The system is oriented to the general public, i.e. peop...
216
click to vote
ER
1998
Springer
15 years 11 months ago
1998
Springer
The practical implementation and use of a mediator for fixed income securities analysis demonstrated the potential for extending the application of conceptual modeling from the sys...
248
click to vote
CVPR
2005
IEEE
15 years 9 months ago
2005
IEEE
Background modeling and subtraction to detect new or moving objects in a scene is an important component of many intelligent video applications. Compared to a single camera, the u...
189
click to vote
EUROPAR
2008
Springer
15 years 9 months ago
2008
Springer
To prepare for future peta- or exa-scale computing, it is important to gain a good understanding on what impacts a hierarchical storage system would have on the performance of data...