Sciweavers

8838 search results - page 52 / 1768
» Generalizing Domain Theory
Sort
View
ICIP
2003
IEEE
14 years 11 months ago
Generalized pattern matching using orbit decomposition
Image Processing and Computer Vision applications often require finding a particular pattern in a set of images. The task involves finding appearances of a given pattern in an ima...
Yacov Hel-Or, Hagit Hel-Or
KBSE
1998
IEEE
14 years 1 months ago
The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm
During the last three years we have been building an instantiation of a system's development paradigm, called ARTS. The paradigm consists of a view of what a system developme...
Armando Martin Haeberer, T. S. E. Maibaum
EWCBR
2008
Springer
13 years 11 months ago
Conservative Adaptation in Metric Spaces
Conservative adaptation consists in a minimal change on a source case to be consistent with the target case, given the domain knowledge. It has been formalised in a previous work t...
Julien Cojan, Jean Lieber
ACL
1998
13 years 11 months ago
An Efficient Kernel for Multilingual Generation in Speech-to-Speech Dialogue Translation
We present core aspects of a fully implemented generation component in a multilingual speechto-speech dialogue translation system. Its design was particularly influenced by the ne...
Tilman Becker, Wolfgang Finkler, Anne Kilger, Pete...
SAS
2001
Springer
117views Formal Methods» more  SAS 2001»
14 years 2 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...