Sciweavers

523 search results - page 69 / 105
» Hierarchical Distributed Representations for Statistical Lan...
Sort
View
CONCUR
2009
Springer
14 years 3 months ago
Query-Based Model Checking of Ad Hoc Network Protocols
Abstract. A prominent source of complexity in the verification of ad hoc network (AHN) protocols is the fact that the number of network topologies grows exponentially with the squ...
Anu Singh, C. R. Ramakrishnan, Scott A. Smolka
EMNLP
2007
13 years 10 months ago
Smooth Bilingual N-Gram Translation
We address the problem of smoothing translation probabilities in a bilingual N-grambased statistical machine translation system. It is proposed to project the bilingual tuples ont...
Holger Schwenk, Marta R. Costa-Jussà, Jos&e...
WAIM
2010
Springer
13 years 7 months ago
HyperGraphDB: A Generalized Graph Database
We present HyperGraphDB, a novel graph database based on generalized hypergraphs where hyperedges can contain other hyperedges. This generalization automatically reifies every ent...
Borislav Iordanov
CONCUR
2007
Springer
14 years 3 months ago
Rule-Based Modelling of Cellular Signalling
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
Vincent Danos, Jérôme Feret, Walter F...
IJCPOL
2006
106views more  IJCPOL 2006»
13 years 9 months ago
Court Stenography-to-Text ("stt") in Hong Kong: a Jurilinguistic Engineering Effort
Implementation of legal bilingualism in Hong Kong after 1997 has necessitated the production of voluminous and extensive court proceedings and judgments in both Chinese and Englis...
Benjamin K. Tsou, Tom B. Y. Lai, K. K. Sin, Lawren...