10870 search results - page 2174 / 2174 » Model Checking Programs |
CMC
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. Intelligent MultiMedia (IntelliMedia) focuses on the computer processing and understanding of signal and symbol input from at least speech, text and visual images in term...
LPNMR
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...
NAACL
2003
13 years 6 months ago
2003
Searching online information is increasingly a daily activity for many people. The multilinguality of online content is also increasing (e.g. the proportion of English web users, ...
VCIP
2000
13 years 6 months ago
2000
Subjective assessment methods have been used reliably for many years to evaluate video quality. They continue to provide the most reliable assessments compared to objective method...
BMCBI
2002
13 years 4 months ago
2002
Background: SeqHound has been developed as an integrated biological sequence, taxonomy, annotation and 3-D structure database system. It provides a high-performance server platfor...