Sciweavers

3888 search results - page 296 / 778
» Change-Driven Model Transformations
Sort
View
ACL
2012
13 years 9 months ago
Strong Lexicalization of Tree Adjoining Grammars
Recently, it was shown (KUHLMANN, SATTA: Tree-adjoining grammars are not closed under strong lexicalization. Comput. Linguist., 2012) that finitely ambiguous tree adjoining gramm...
Andreas Maletti, Joost Engelfriet
ACL
2012
13 years 9 months ago
Exploiting Multiple Treebanks for Parsing with Quasi-synchronous Grammars
We present a simple and effective framework for exploiting multiple monolingual treebanks with different annotation guidelines for parsing. Several types of transformation pattern...
Zhenghua Li, Ting Liu, Wanxiang Che
ESORICS
2007
Springer
16 years 26 days ago
Synthesizing Secure Protocols
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
Véronique Cortier, Bogdan Warinschi, Eugen ...
SIGIR
2005
ACM
16 years 8 days ago
Relevance weighting for query independent evidence
A query independent feature, relating perhaps to document content, linkage or usage, can be transformed into a static, per-document relevance weight for use in ranking. The challe...
Nick Craswell, Stephen E. Robertson, Hugo Zaragoza...
IROS
2006
IEEE
202views Robotics» more  IROS 2006»
16 years 22 days ago
Optimal Hand-Eye Calibration
— This paper presents a calibration method for eye-in-hand systems in order to estimate the hand-eye and the robot-world transformations. The estimation takes place in terms of a...
Klaus H. Strobl, Gerd Hirzinger