5525 search results - page 775 / 1105 » Verification of Model Transformations |
187
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
This paper presents a new algorithm based on shift-invariant probabilistic latent component analysis that analyzes harmonic structures in an audio signal. Each note in a constant-...
184
click to vote
ACL
2012
13 years 9 months ago
2012
Recently, it was shown (KUHLMANN, SATTA: Tree-adjoining grammars are not closed under strong lexicalization. Comput. Linguist., 2012) that finitely ambiguous tree adjoining gramm...
172
click to vote
ACL
2012
13 years 9 months ago
2012
We present a simple and effective framework for exploiting multiple monolingual treebanks with different annotation guidelines for parsing. Several types of transformation pattern...
147
Voted
ICSOC
2009
Springer
16 years 1 months ago
2009
Springer
In this demonstration1 we present an approach to engineering service brokering requirements and capabilities using the concepts of Service Modes. The demonstration illustrates buil...
184
click to vote
ASIACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...