Sciweavers

1864 search results - page 221 / 373
» Formal topology and domains
Sort
View
KES
2006
Springer
13 years 10 months ago
M-OntoMat-Annotizer: Image Annotation Linking Ontologies and Multimedia Low-Level Features
Annotations of multimedia documents typically have been pursued in two different directions. Either previous approaches have focused on low level descriptors, such as dominant colo...
Kosmas Petridis, Dionysios Anastasopoulos, Carsten...
TAP
2008
Springer
102views Hardware» more  TAP 2008»
13 years 10 months ago
A Logic-Based Approach to Combinatorial Testing with Constraints
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...
Andrea Calvagna, Angelo Gargantini
JSW
2007
173views more  JSW 2007»
13 years 10 months ago
Towards Semantics Driven Generation of Executable Web Services Compositions
— Web services composition is a very active area of research due to the growing interest of public and private organizations in services integration and/or low cost development o...
Giusy Di Lorenzo, Nicola Mazzocca, Francesco Mosca...
IJAR
2000
140views more  IJAR 2000»
13 years 10 months ago
Belief updating in multiply sectioned Bayesian networks without repeated local propagations
Multiply sectioned Bayesian networks (MSBNs) provide a coherent and flexible formalism for representing uncertain knowledge in large domains. Global consistency among subnets in a...
Yang Xiang
IJMMS
2000
85views more  IJMMS 2000»
13 years 10 months ago
Ontology-driven document enrichment: principles, tools and applications
In this paper we present an approach to document enrichment, which consists of developing and integrating formal knowledge models with archives of documents, to provide intelligent...
Enrico Motta, Simon Buckingham Shum, John Domingue