Sciweavers

523 search results - page 65 / 105
» A model transformation framework for the automated building ...
Sort
View
SAINT
2003
IEEE
14 years 29 days ago
Planning For Web Services the Hard Way
In this paper we outline a framework for performing automated discovery, composition and execution of web services based solely on the information available in interface descripti...
Mark James Carman, Luciano Serafini
ILP
2005
Springer
14 years 1 months ago
Deriving a Stationary Dynamic Bayesian Network from a Logic Program with Recursive Loops
Recursive loops in a logic program present a challenging problem to the PLP framework. On the one hand, they loop forever so that the PLP backward-chaining inferences would never s...
Yi-Dong Shen, Qiang Yang
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
14 years 28 days ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
TIP
2008
205views more  TIP 2008»
13 years 7 months ago
Image Denoising Using Derotated Complex Wavelet Coefficients
A method for removing additive Gaussian noise from digital images is described. It is based on statistical modeling of the coefficients of a redundant, oriented, complex multiscale...
Mark Miller, Nick G. Kingsbury
MLMI
2005
Springer
14 years 1 months ago
A Multimodal Discourse Ontology for Meeting Understanding
In this paper, we present a multimodal discourse ontology that serves as a knowledge representation and annotation framework for the discourse understanding component of an artifi...
John Niekrasz, Matthew Purver