4721 search results - page 303 / 945 » Autonomic Web Processes |
175
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Abstract. This paper describes the translation of proofs in the Thousands of Solutions from Theorem Provers (TSTP) solution library to the Proof Markup Language (PML), and the subs...
273
click to vote
SIGMOD
2007
ACM
16 years 7 months ago
2007
ACM
Mashup Feeds is a system that supports integrated web service feeds as continuous queries. We introduce collectionbased stream processing semantics to enable information extractio...
208
click to vote
ICASSP
2009
IEEE
16 years 2 months ago
2009
IEEE
In language modeling for speech recognition, both the amount of training data and the match to the target task impact the goodness of the model, with the trade-off usually favorin...
152
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Mapping ontologies with high precision on the Semantic Web is a challenging problem that needs to be addressed in various domains. One of the main problems with any mapping process...
209
click to vote
ASWC
2009
Springer
15 years 10 months ago
2009
Springer
Many tasks within semantic web service discovery can be formalized as reasoning problems related to the partial ordering of subactivity occurrences in a complex activity. We show h...