2004 search results - page 350 / 401 » Comparison of Model Checking Tools for Information Systems |
BMCBI
2008
14 years 12 months ago
2008
Background: High-density short oligonucleotide microarrays are a primary research tool for assessing global gene expression. Background noise on microarrays comprises a significan...
102
click to vote
WSC
2007
15 years 2 months ago
2007
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...
134
click to vote
WWW
2009
ACM
16 years 15 days ago
2009
ACM
Users of social networking services can connect with each other by forming communities for online interaction. Yet as the number of communities hosted by such websites grows over ...
122
click to vote
ICDIM
2010
IEEE
14 years 9 months ago
2010
IEEE
Data mining aims at extraction of previously unidentified information from large databases. It can be viewed as an automated application of algorithms to discover hidden patterns a...
126
click to vote
MM
2010
ACM
15 years 23 hour ago
2010
ACM
We present an interactive application that enables users to improve the visual aesthetics of their digital photographs using spatial recomposition. Unlike earlier work that focuse...