25218 search results - page 62 / 5044 » A Logic-Based Information System |
ITP
2008
14 years 10 months ago
2008
Purpose
ITP
2006
14 years 10 months ago
2006
Purpose
ICFEM
2010
Springer
14 years 8 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...
ISMIR
2000
Springer
15 years 1 months ago
2000
Springer
To make multimedia data easily retrieved, we use metadata to describe the information, so that search engines or other information filter tools can effectively and efficiently loc...
126
click to vote
SIGIR
2010
ACM
14 years 4 months ago
2010
ACM
The size of the Web as well as user bases of search systems continue to grow exponentially. Consequently, providing subsecond query response times and high query throughput become...