6960 search results - page 77 / 1392 » Continuity Analysis of Programs |
91
Voted
ICASSP
2010
IEEE
15 years 3 months ago
2010
IEEE
We investigate the issue of sign language automatic phonetic subunit modeling, that is completely data driven and without any prior phonetic information. A first step of visual p...
116
Voted
IANDC
2010
15 years 1 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
87
Voted
SIGADA
1998
Springer
15 years 6 months ago
1998
Springer
131
click to vote
CAV
2008
Springer
15 years 4 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
195
Voted
POPL
2005
ACM
16 years 3 months ago
2005
ACM