524 search results - page 6 / 105 » ets 2010 |
ACL
2012
11 years 10 months ago
2012
We describe Akamon, an open source toolkit for tree and forest-based statistical machine translation (Liu et al., 2006; Mi et al., 2008; Mi and Huang, 2008). Akamon implements all...
TCBB
2010
13 years 5 months ago
2010
We show that subtree prune and regraft (uSPR) distance on unrooted trees is fixed parameter tractable with respect to the distance. We also make progress on a conjecture of Steel...
SEMWEB
2010
Springer
13 years 5 months ago
2010
Springer
Starting from the general framework for Annotated RDFS which we presented in previous work (extending Udrea et al's Annotated RDF), we address the development of a query langu...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In 2004, Das, Saxena and Gulati proposed a dynamic ID-based remote user authentication scheme which has many advantage such as no verifier table, user freedom to choose and change...
ACSD
2010
IEEE
13 years 5 months ago
2010
IEEE
We extend the partial order reduction algorithm of Clarke et al. [CJM00] to handle branching security protocols, such as optimistic fair exchange protocols. Applications of the pro...