13383 search results - page 352 / 2677 » Abstractions from proofs |
200
click to vote
AWCC
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper proposes an approach to dynamically reconfiguring service-oriented applications from a business perspective: CAFISEadapt, which defines both business-level and...
167
click to vote
CIS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Ontology plays an important role on the Semantic Web. In this paper, we propose a method, AOIWD, of acquiring ontology information from Web documents. The AOIWD method em...
206
click to vote
DAWAK
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Due to the dynamic nature of online information, XML documents typically evolve over time. The change of the data values or structures of an XML document may exhibit some...
167
click to vote
ESOP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We introduce an approach to designing filtering algorithms by derivation from finite automata operating on constraint signatures. We illustrate this approach in two cas...
150
click to vote
KES
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a possibly great improvement while performing semisupervised learning tasks from training data sets when only a small fraction of the data pairs is labeled. In...