Sciweavers

9405 search results - page 328 / 1881
» Computing a Model of Set Theory
Sort
View
SIGLEX
1991
15 years 8 months ago
Lexicon, Ontology, and Text Meaning
A computationally relevant theory of lexical semantics must take into consideration both the form and the content of three different static knowledge sources -- the lexicon, the o...
Boyan A. Onyshkevych, Sergei Nirenburg
ICMI
2010
Springer
220views Biometrics» more  ICMI 2010»
15 years 2 months ago
Visual speech synthesis by modelling coarticulation dynamics using a non-parametric switching state-space model
We present a novel approach to speech-driven facial animation using a non-parametric switching state space model based on Gaussian processes. The model is an extension of the shar...
Salil Deena, Shaobo Hou, Aphrodite Galata
129
Voted
KBSE
2005
IEEE
15 years 10 months ago
Formal support for merging and negotiation
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
Shiva Nejati
140
Voted
FOCS
2006
IEEE
15 years 11 months ago
Points on Computable Curves
The “analyst’s traveling salesman theorem” of geometric measure theory characterizes those subsets of Euclidean space that are contained in curves of finite length. This re...
Xiaoyang Gu, Jack H. Lutz, Elvira Mayordomo
ANSOFT
1998
157views more  ANSOFT 1998»
15 years 4 months ago
Software Engineering Programmes are not Computer Science Programmes
Programmes in “Software Engineering” have become a source of contention in many universities. Computer Science departments, many of which have used that phrase to describe ind...
David Lorge Parnas