Sciweavers

350 search results - page 33 / 70
» Word Equations with Two Variables
Sort
View
SIAMSC
2010
198views more  SIAMSC 2010»
14 years 8 months ago
Analysis of Block Parareal Preconditioners for Parabolic Optimal Control Problems
In this paper, we describe block matrix algorithms for the iterative solution of large scale linear-quadratic optimal control problems arising from the optimal control of parabolic...
Tarek P. Mathew, Marcus Sarkis, Christian E. Schae...
JOLLI
2007
88views more  JOLLI 2007»
14 years 9 months ago
Toward discourse representation via pregroup grammars
Every pregroup grammar is shown to be strongly equivalent to one which uses basic types and left and right adjoints of basic types only. Therefore a semantical interpretation is i...
Anne Preller
FOSSACS
2003
Springer
15 years 3 months ago
A Game Semantics for Generic Polymorphism
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
Samson Abramsky, Radha Jagadeesan
ACL
2012
13 years 11 days ago
Modeling Sentences in the Latent Space
Sentence Similarity is the process of computing a similarity score between two sentences. Previous sentence similarity work finds that latent semantics approaches to the problem ...
Weiwei Guo, Mona T. Diab
ICASSP
2011
IEEE
14 years 1 months ago
A hierarchical generative model for Generic Audio Document Categorization
In this paper, we call the pattern classification problem that consists in assigning a category label to a long audio signal based on its semantic content as Generic Audio Documen...
Zhi Zeng, Shuwu Zhang