Sciweavers

1827 search results - page 198 / 366
» Automatic thesaurus construction
Sort
View
WISE
2007
Springer
15 years 10 months ago
Web Service Composition: A Reality Check
Automated web service composition is one of the major promises of serviceoriented architecture, where services can be discovered and composed dynamically and automatically. To inv...
Jianguo Lu, Yijun Yu, Debashis Roy, Deepa Saha
ADBIS
2007
Springer
171views Database» more  ADBIS 2007»
15 years 10 months ago
Quete: Ontology-Based Query System for Distributed Sources
The exponential growth of the web and the extended use of database management systems in widely distributed information systems has brought to the fore the need for seamless interc...
Haridimos Kondylakis, Anastasia Analyti, Dimitris ...
AWIC
2007
Springer
15 years 10 months ago
Improving Text Classification by Web Corpora
A major difficulty of supervised approaches for text classification is that they require a great number of training instances in order to construct an accurate classifier. This pap...
Rafael Guzmán-Cabrera, Manuel Montes-y-G&oa...
127
Voted
CALCO
2007
Springer
100views Mathematics» more  CALCO 2007»
15 years 10 months ago
Applications of Metric Coinduction
Metric coinduction is a form of coinduction that can be used to establish properties of objects constructed as a limit of finite approximations. One can prove a coinduction step s...
Dexter Kozen, Nicholas Ruozzi
CAV
2007
Springer
121views Hardware» more  CAV 2007»
15 years 10 months ago
Low-Level Library Analysis and Summarization
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
Denis Gopan, Thomas W. Reps