2004 search results - page 357 / 401 » Comparison of Model Checking Tools for Information Systems |
ER
2010
Springer
14 years 10 months ago
2010
Springer
Researchers struggle to manage vast amounts of data coming from hundreds of sources in online repositories. To successfully conduct research studies, researchers need to find, ret...
101
click to vote
TVCG
2011
14 years 6 months ago
2011
—Current visual analytics systems provide users with the means to explore trends in their data. Linked views and interactive displays provide insight into correlations among peop...
WWW
2003
ACM
16 years 14 days ago
2003
ACM
The vision of the Semantic Web can only be realized through proliferation of well-known ontologies describing different domains. To enable interoperability in the Semantic Web, it...
92
Voted
ICMCS
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents a robust and efficient skeleton-based graph matching method for object recognition and recovery applications. The novel feature is to unify both object recogni...
100
click to vote
KBSE
2003
IEEE
15 years 5 months ago
2003
IEEE
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise, responsibilities, and perspectives. Viewpoints-based approache...