Sciweavers

2253 search results - page 379 / 451
» Computing with Realizational Morphology
Sort
View
82
Voted
COGSR
2010
74views more  COGSR 2010»
14 years 7 months ago
Two qubits for C.G. Jung's theory of personality
We propose a formalization of C.G. Jung's theory of personality using a four-dimensional Hilbert-space for the representation of two qubits. The first qubit relates to Jung&#...
Reinhard Blutner, Elena Hochnadel
ECEASST
2010
14 years 7 months ago
Navigating Across Non-Navigable Ecore References via OCL
The Eclipse Modeling Framework (EMF) and its meta-meta model Ecore support uni-directional and bi-directional references. It is quite common that references are defined uni-directi...
Martin Hanysz, Tobias Hoppe, Axel Uhl, Andreas Sei...
EJC
2010
14 years 7 months ago
Inferencing in Database Semantics
As a computational model of natural language communication, Database Semantics1 (DBS) includes a hearer mode and a speaker mode. For the content to be mapped into language expressi...
Roland Hausser
EJWCN
2010
122views more  EJWCN 2010»
14 years 7 months ago
Using Model Checking for Analyzing Distributed Power Control Problems
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
Thomas Brihaye, Marc Jungers, Samson Lasaulce, Nic...
112
Voted
INTERSPEECH
2010
14 years 7 months ago
Dialect recognition using a phone-GMM-supervector-based SVM kernel
In this paper, we introduce a new approach to dialect recognition which relies on the hypothesis that certain phones are realized differently across dialects. Given a speaker'...
Fadi Biadsy, Julia Hirschberg, Michael Collins