Sciweavers

1101 search results - page 92 / 221
» Forcing in proof theory
Sort
View
90
Voted
INTERSPEECH
2010
14 years 7 months ago
Audio-visual anticipatory coarticulation modeling by human and machine
The phenomenon of anticipatory coarticulation provides a basis for the observed asynchrony between the acoustic and visual onsets of phones in certain linguistic contexts. This ty...
Louis H. Terry, Karen Livescu, Janet B. Pierrehumb...
ADC
2003
Springer
101views Database» more  ADC 2003»
15 years 5 months ago
Operational Semantics of Transactions
Mathematics is forcing towards a consistent framework of theory development. Computer Science is an engineering discipline and sometimes suffers from ad-hoc definitions. Transac...
Andreas Prinz, Bernhard Thalheim
ACID
2006
264views Algorithms» more  ACID 2006»
15 years 2 months ago
A Parameterized View on Matroid Optimization Problems
Matroid theory gives us powerful techniques for understanding combinatorial optimization problems and for designing polynomial-time algorithms. However, several natural matroid pr...
Dániel Marx
JASIS
2000
68views more  JASIS 2000»
15 years 12 days ago
Tropes, history, and ethics in professional discourse and information science
: This paper argues that professional discourses tend to align themselves with dominant ideological and social forces by means of language. In twentieth century modernity, the use ...
Ronald Day
LATA
2009
Springer
15 years 7 months ago
Prediction of Creole Emergence in Spatial Language Dynamics
Creole is a new born language emerging in most cases where language contact takes place. Simulating behaviors that creole communities are formed in some environments, we could cont...
Makoto Nakamura, Takashi Hashimoto, Satoshi Tojo