2004 search results - page 324 / 401 » Comparison of Model Checking Tools for Information Systems |
123
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: Significance analysis at single gene level may suffer from the limited number of samples and experimental noise that can severely limit the power of the chosen statist...
FLAIRS
2003
15 years 1 months ago
2003
We have developed a model-based, distributed architecture that integrates diverse components in a system designed for lunar and planetary surface operations: an astronaut’s spac...
SEMWEB
2007
Springer
15 years 6 months ago
2007
Springer
In collaborative indexing systems users generate a big amount of metadata by labelling web-based content. These labels are known as tags and form a shared vocabulary. In order to u...
136
click to vote
MM
1998
ACM
15 years 4 months ago
1998
ACM
Easy-to-use audio/video authoring tools play a crucial role in moving multimedia software from research curiosity to mainstream applications. However, research in multimedia author...
INFOVIS
2002
IEEE
15 years 4 months ago
2002
IEEE
In this paper we demonstrate how we applied information visualization techniques to process monitoring. Virtual instruments are enhanced using history encoding – instruments are...